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
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
CTYP
-
326
Let-aliasing breaks flow inference for results of `class`
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jul 3, 2017
CTYP
-
306
pred doesn't work for non-literal HVecs with varargs
Unassigned
import
Open
Jan 29, 2016
CTYP
-
301
Abstract over keyword arguments
Unassigned
Ambrose Bonnaire-Sergeant
Open
Nov 19, 2015
CTYP
-
282
Internal error with t/defn, sort-by and no refer all
Unassigned
import
Reopened
Oct 24, 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
-
277
Typechecking fails with internal assert error
Unassigned
import
Open
Sep 16, 2015
CTYP
-
275
Bad call to path-type: nil
Unassigned
Mark Feeney
Open
Sep 15, 2015
CTYP
-
274
Inferred type for {{defn}} and {{typed/fn}} with the same body are different
Unassigned
import
Open
Sep 8, 2015
CTYP
-
270
"Method code too large!" with protocols (more than 38 functions in the protocol)
Unassigned
import
Open
Aug 18, 2015
CTYP
-
242
adding stop-gap annotation for 'hash-map' results in runtime exception
Unassigned
Jonathan Leonard
Reopened
Jun 30, 2015
CTYP
-
241
Let-aliased variables of plain Map lookups should update original map
Unassigned
Mark Feeney
Open
Jun 26, 2015
CTYP
-
231
(Array X) is broken and undocumented
Unassigned
Marc O'Morain
Open
Jun 23, 2015
CTYP
-
225
Intersections of value types broken
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jun 2, 2015
CTYP
-
223
checking clojure.core/keep produces Internal Error--Cannot resolve type: Option
Unassigned
import
Open
May 31, 2015
CTYP
-
222
if-let on an hmap with an optional entry always expected to succeed
Unassigned
import
Open
May 30, 2015
CTYP
-
221
group-by produces "Cannot resolve type: Seqable"
Unassigned
import
Open
May 29, 2015
CTYP
-
219
RPS example does not type check
Unassigned
import
Open
May 22, 2015
CTYP
-
209
method-type is broken
Unassigned
Timo Mihaljov
Open
Apr 8, 2015
CTYP
-
204
Assoc doesn't work with multiple entries
Unassigned
import
Open
Mar 10, 2015
CTYP
-
201
Calling a multimethod from a protocol function breaks the type checker
Unassigned
Reno Reckling
Open
Feb 27, 2015
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
-
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
-
143
extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails
Unassigned
Max Penet
Open
May 12, 2014
CTYP
-
140
HSequential things should correctly erase dotted arguments
Unassigned
Ambrose Bonnaire-Sergeant
Open
May 9, 2014
CTYP
-
133
Typechecker fails when checking involves an object from reify
Unassigned
import
Open
Apr 13, 2014
CTYP
-
129
select-keys on HMap returns Map with union key and value types
Unassigned
Timo Mihaljov
Open
Mar 30, 2014
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
-
76
Support KwArgsSeq in apply
Unassigned
import
Open
Oct 1, 2013
CTYP
-
72
merge doesn't seem to like records
Unassigned
import
Open
Sep 28, 2013
CTYP
-
32
Cannot instantiate variables that have bounds
Unassigned
Ambrose Bonnaire-Sergeant
Open
Jul 29, 2013
CTYP
-
327
Adding annotations for clojure.string namespace.
Unassigned
import
Resolved
May 8, 2018
CTYP
-
134
Allow namespace aliases in `ann`
Ambrose Bonnaire-Sergeant
Oskar Thorén
Closed
Apr 14, 2014
CTYP
-
297
Allow defmulti without expected type
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 17, 2015
CTYP
-
238
Move CLJS checker to its own jar
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jun 24, 2015
CTYP
-
232
Let-aliased variabled of HVec lookups should update original HVec
Unassigned
Mark Feeney
Closed
Jun 23, 2015
CTYP
-
49
Applying flow filter resulted in local being bottom
Unassigned
Ambrose Bonnaire-Sergeant
Closed
Sep 8, 2013
CTYP
-
188
ann-record fails for argument-less records
Unassigned
import
Closed
Jan 5, 2015
CTYP
-
194
HMap merged type
Unassigned
import
Closed
Jan 14, 2015
CTYP
-
47
Expected: IFn, Actual (Fn [Any -> Any])
Unassigned
import
Closed
Sep 5, 2013
CTYP
-
35
Should use fresh names when checking plambdas
Unassigned
Ambrose Bonnaire-Sergeant
Closed
Aug 26, 2013
CTYP
-
109
Better error message for TFn app
Unassigned
Ambrose Bonnaire-Sergeant
Closed
Feb 27, 2014
CTYP
-
278
Impossible to annotate protocol in other namespace
Unassigned
import
Closed
Sep 17, 2015
CTYP
-
192
Use memoization in file-mapping to improve performance.
Unassigned
import
Closed
Jan 10, 2015
CTYP
-
176
No such var: ana/ns->relpath when loading the ClojureScript typechecker
Unassigned
import
Closed
Oct 8, 2014
CTYP
-
228
Type signature for sort is incorrect - never returns nil
Ambrose Bonnaire-Sergeant
Marc O'Morain
Closed
Jun 19, 2015
CTYP
-
224
Lein REPL Autocomplete in typed namespaces throws a type error
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jun 2, 2015
CTYP
-
218
wrap-clj-repl causes error
Unassigned
import
Closed
May 20, 2015
CTYP
-
272
check-ns: Assert failed: (r/Type? t)
Unassigned
import
Closed
Aug 25, 2015
Give feedback
1-50 of 326
1
2
3
4
5
6
7