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