Projects
Filters
Dashboards
Apps
Create
core.typed
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status:
In Progress and 2 more
Type
Clear all
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
CTYP
-
242
adding stop-gap annotation for 'hash-map' results in runtime exception
Unassigned
Jonathan Leonard
Reopened
Jun 30, 2015
CTYP
-
282
Internal error with t/defn, sort-by and no refer all
Unassigned
import
Reopened
Oct 24, 2015
CTYP
-
209
method-type is broken
Unassigned
Timo Mihaljov
Open
Apr 8, 2015
CTYP
-
133
Typechecker fails when checking involves an object from reify
Unassigned
import
Open
Apr 13, 2014
CTYP
-
72
merge doesn't seem to like records
Unassigned
import
Open
Sep 28, 2013
CTYP
-
143
extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails
Unassigned
Max Penet
Open
May 12, 2014
CTYP
-
197
No matching arities when defining multiple arity protocol method
Unassigned
import
Open
Jan 25, 2015
CTYP
-
195
Support for clojure.core/extend is broken when used with typed.core/defprotocol
Unassigned
import
Open
Jan 15, 2015
CTYP
-
223
checking clojure.core/keep produces Internal Error--Cannot resolve type: Option
Unassigned
import
Open
May 31, 2015
CTYP
-
191
Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are composed, for instance (Option AnyInteger))
Unassigned
import
Open
Jan 9, 2015
CTYP
-
326
Let-aliasing breaks flow inference for results of `class`
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jul 3, 2017
CTYP
-
201
Calling a multimethod from a protocol function breaks the type checker
Unassigned
Reno Reckling
Open
Feb 27, 2015
CTYP
-
219
RPS example does not type check
Unassigned
import
Open
May 22, 2015
CTYP
-
204
Assoc doesn't work with multiple entries
Unassigned
import
Open
Mar 10, 2015
CTYP
-
32
Cannot instantiate variables that have bounds
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jul 29, 2013
CTYP
-
222
if-let on an hmap with an optional entry always expected to succeed
Unassigned
import
Open
May 30, 2015
CTYP
-
102
large hashmaps: failure to discover subtype and error-output to complex to understand
Unassigned
Cees van Kemenade
Open
Feb 2, 2014
CTYP
-
88
with-meta doesn't type check with vectors or hash-maps.
Unassigned
import
Open
Oct 16, 2013
CTYP
-
301
Abstract over keyword arguments
Unassigned
Ambrose Bonnaire-Sergeant
Open
Nov 19, 2015
CTYP
-
275
Bad call to path-type: nil
Unassigned
Mark Feeney
Open
Sep 15, 2015
CTYP
-
140
HSequential things should correctly erase dotted arguments
Unassigned
Ambrose Bonnaire-Sergeant
Open
May 9, 2014
CTYP
-
221
group-by produces "Cannot resolve type: Seqable"
Unassigned
import
Open
May 29, 2015
CTYP
-
277
Typechecking fails with internal assert error
Unassigned
import
Open
Sep 16, 2015
CTYP
-
306
pred doesn't work for non-literal HVecs with varargs
Unassigned
import
Open
Jan 29, 2016
CTYP
-
241
Let-aliased variables of plain Map lookups should update original map
Unassigned
Mark Feeney
Open
Jun 26, 2015
CTYP
-
279
An invalid type annotation for a function with a record argument passes a type check
Unassigned
import
Open
Sep 25, 2015
CTYP
-
274
Inferred type for {{defn}} and {{typed/fn}} with the same body are different
Unassigned
import
Open
Sep 8, 2015
CTYP
-
129
select-keys on HMap returns Map with union key and value types
Unassigned
Timo Mihaljov
Open
Mar 30, 2014
CTYP
-
76
Support KwArgsSeq in apply
Unassigned
import
Open
Oct 1, 2013
CTYP
-
225
Intersections of value types broken
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jun 2, 2015
CTYP
-
270
"Method code too large!" with protocols (more than 38 functions in the protocol)
Unassigned
import
Open
Aug 18, 2015
CTYP
-
231
(Array X) is broken and undocumented
Unassigned
Marc O'Morain
Open
Jun 23, 2015
Give feedback
1-32 of 32
1