Issues
 | Adding annotations for clojure.string namespace. | Unassigned | import |  | Fixed | May 8, 2018 | Jan 15, 2020 | ||||
 | adding stop-gap annotation for 'hash-map' results in runtime exception | Unassigned | Jonathan Leonard | | Unresolved | Jun 30, 2015 | Oct 26, 2018 | ||||
| Internal error with t/defn, sort-by and no refer all | Unassigned | import |  | Unresolved | Oct 24, 2015 | Oct 26, 2018 | ||||
| method-type is broken | Unassigned | Timo Mihaljov | | Unresolved | Apr 8, 2015 | Jul 10, 2018 | ||||
| Allow namespace aliases in `ann` | Unassigned | Oskar Thorén | | Completed | Apr 14, 2014 | Jul 10, 2018 | ||||
| Typechecker fails when checking involves an object from reify | Unassigned | import | | Unresolved | Apr 13, 2014 | Jul 10, 2018 | ||||
| Allow defmulti without expected type | Unassigned | Ambrose Bonnaire-Sergeant | | Completed | Nov 17, 2015 | Jul 10, 2018 | ||||
| Move CLJS checker to its own jar | Unassigned | Ambrose Bonnaire-Sergeant | | Completed | Jun 24, 2015 | Jul 10, 2018 | ||||
| Let-aliased variabled of HVec lookups should update original HVec | Unassigned | Mark Feeney | | Declined | Jun 23, 2015 | Dec 3, 2017 | ||||
| merge doesn't seem to like records | Unassigned | import | | Unresolved | Sep 28, 2013 | Dec 3, 2017 | ||||
| extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails | Unassigned | Max Penet | | Unresolved | May 12, 2014 | Dec 3, 2017 | ||||
| Applying flow filter resulted in local being bottom | Unassigned | Ambrose Bonnaire-Sergeant | | Completed | Sep 8, 2013 | Dec 3, 2017 | ||||
| No matching arities when defining multiple arity protocol method | Unassigned | import | | Unresolved | Jan 25, 2015 | Dec 3, 2017 | ||||
| ann-record fails for argument-less records | Unassigned | import | | Not Reproducible | Jan 5, 2015 | Dec 3, 2017 | ||||
| Support for clojure.core/extend is broken when used with typed.core/defprotocol | Unassigned | import | | Unresolved | Jan 15, 2015 | Dec 3, 2017 | ||||
| HMap merged type | Unassigned | import | | Declined | Jan 14, 2015 | Dec 3, 2017 | ||||
| checking clojure.core/keep produces Internal Error--Cannot resolve type: Option | Unassigned | import |  | Unresolved | May 31, 2015 | Dec 3, 2017 | ||||
| Expected: IFn, Actual (Fn [Any -> Any]) | Unassigned | import | | Completed | Sep 5, 2013 | Dec 3, 2017 | ||||
| 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 | | Unresolved | Jan 9, 2015 | Dec 3, 2017 | ||||
| Should use fresh names when checking plambdas | Unassigned | Ambrose Bonnaire-Sergeant | | Declined | Aug 26, 2013 | Dec 3, 2017 | ||||
| Better error message for TFn app | Unassigned | Ambrose Bonnaire-Sergeant |  | Declined | Feb 27, 2014 | Dec 3, 2017 | ||||
| Let-aliasing breaks flow inference for results of `class` | Unassigned | Ambrose Bonnaire-Sergeant | | Unresolved | Jul 3, 2017 | Dec 3, 2017 | ||||
| Calling a multimethod from a protocol function breaks the type checker | Unassigned | Reno Reckling | | Unresolved | Feb 27, 2015 | Dec 3, 2017 | ||||
| Impossible to annotate protocol in other namespace | Unassigned | import | | Declined | Sep 17, 2015 | Dec 3, 2017 | ||||
| Use memoization in file-mapping to improve performance. | Unassigned | import | | Declined | Jan 10, 2015 | Dec 3, 2017 | ||||
| RPS example does not type check | Unassigned | import | | Unresolved | May 22, 2015 | Dec 3, 2017 | ||||
| No such var: ana/ns->relpath when loading the ClojureScript typechecker | Unassigned | import | | Declined | Oct 8, 2014 | Dec 3, 2017 | ||||
| Type signature for sort is incorrect - never returns nil | Unassigned | Marc O'Morain | | Completed | Jun 19, 2015 | Dec 3, 2017 | ||||
| Lein REPL Autocomplete in typed namespaces throws a type error | Unassigned | Ambrose Bonnaire-Sergeant | | Completed | Jun 2, 2015 | Dec 3, 2017 | ||||
| wrap-clj-repl causes error | Unassigned | import | | Completed | May 20, 2015 | Dec 3, 2017 | ||||
| check-ns: Assert failed: (r/Type? t) | Unassigned | import | | Completed | Aug 25, 2015 | Dec 3, 2017 | ||||
| Assoc doesn't work with multiple entries | Unassigned | import | | Unresolved | Mar 10, 2015 | Dec 3, 2017 | ||||
| Heterogeneous Vector is not ISeqable in CLJS | Unassigned | import | | Completed | Sep 11, 2013 | Dec 3, 2017 | ||||
| Cannot instantiate variables that have bounds | Unassigned | Ambrose Bonnaire-Sergeant | | Unresolved | Jul 29, 2013 | Dec 3, 2017 | ||||
| if-let on an hmap with an optional entry always expected to succeed | Unassigned | import | | Unresolved | May 30, 2015 | Dec 3, 2017 | ||||
| large hashmaps: failure to discover subtype and error-output to complex to understand | Unassigned | Cees van Kemenade | | Unresolved | Feb 2, 2014 | Dec 3, 2017 | ||||
| with-meta doesn't type check with vectors or hash-maps. | Unassigned | import | | Unresolved | Oct 16, 2013 | Dec 3, 2017 | ||||
| Abstract over keyword arguments | Unassigned | Ambrose Bonnaire-Sergeant | | Unresolved | Nov 19, 2015 | Dec 3, 2017 | ||||
| Bad call to path-type: nil | Unassigned | Mark Feeney | | Unresolved | Sep 15, 2015 | Dec 3, 2017 | ||||
| HSequential things should correctly erase dotted arguments | Unassigned | Ambrose Bonnaire-Sergeant | | Unresolved | May 9, 2014 | Dec 3, 2017 | ||||
| group-by produces "Cannot resolve type: Seqable" | Unassigned | import | | Unresolved | May 29, 2015 | Dec 3, 2017 | ||||
| Typechecking fails with internal assert error | Unassigned | import | | Unresolved | Sep 16, 2015 | Dec 3, 2017 | ||||
| pred doesn't work for non-literal HVecs with varargs | Unassigned | import | | Unresolved | Jan 29, 2016 | Dec 3, 2017 | ||||
| Let-aliased variables of plain Map lookups should update original map | Unassigned | Mark Feeney | | Unresolved | Jun 26, 2015 | Dec 3, 2017 | ||||
| An invalid type annotation for a function with a record argument passes a type check | Unassigned | import | | Unresolved | Sep 25, 2015 | Dec 3, 2017 | ||||
| Inferred type for {{defn}} and {{typed/fn}} with the same body are different | Unassigned | import | | Unresolved | Sep 8, 2015 | Dec 3, 2017 | ||||
| select-keys on HMap returns Map with union key and value types | Unassigned | Timo Mihaljov | | Unresolved | Mar 30, 2014 | Dec 3, 2017 | ||||
| Support KwArgsSeq in apply | Unassigned | import | | Unresolved | Oct 1, 2013 | Dec 3, 2017 | ||||
| Intersections of value types broken | Unassigned | Ambrose Bonnaire-Sergeant | | Unresolved | Jun 2, 2015 | Dec 3, 2017 | ||||
| "Method code too large!" with protocols (more than 38 functions in the protocol) | Unassigned | import | | Unresolved | Aug 18, 2015 | Dec 3, 2017 |
1-50 of 326