Issues
Adding annotations for clojure.string namespace. | Unassigned | import | Fixed | May 8, 2018 | Jan 15, 2020 | ||||||
Let-aliasing breaks flow inference for results of `class` | Unassigned | Ambrose Bonnaire-Sergeant | Unresolved | Jul 3, 2017 | Dec 3, 2017 | ||||||
Support clojure.spec syntax as static types | Unassigned | Ambrose Bonnaire-Sergeant | Declined | Jun 19, 2017 | Dec 3, 2017 | ||||||
Remove collect phase | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Completed | Jan 8, 2017 | Jun 19, 2017 | |||||
Support latest Clojurescript compiler | Unassigned | Ambrose Bonnaire-Sergeant | Declined | Dec 8, 2016 | Dec 3, 2017 | ||||||
Use specs as types | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Declined | Dec 6, 2016 | Dec 3, 2017 | |||||
Make generated type readable | Unassigned | Ambrose Bonnaire-Sergeant | Duplicate | Sep 29, 2016 | Dec 3, 2017 | ||||||
Don't track internals of track implementation | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Sep 13, 2016 | Dec 3, 2017 | ||||||
Single-pass compiler misses interfaces | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Sep 9, 2016 | Dec 3, 2017 | ||||||
Ensure :static-method has :class entry | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Sep 8, 2016 | Dec 3, 2017 | ||||||
Port Compiler.java to Clojure | Unassigned | Ambrose Bonnaire-Sergeant | Declined | Sep 2, 2016 | Dec 3, 2017 | ||||||
Support primitive functions in runtime instrumentation | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Sep 1, 2016 | Dec 3, 2017 | ||||||
Merge CLJ-1744 | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Completed | Aug 31, 2016 | Dec 3, 2017 | |||||
Current version of core.typed does not work with current Clojure 1.9.0-alpha11 | Unassigned | lvh | Completed | Aug 21, 2016 | Dec 3, 2017 | ||||||
subtyping optional keywords in HMaps | Unassigned | import | ![]() | Completed | Apr 13, 2016 | Dec 3, 2017 | |||||
pred doesn't work with polymorphic protocols? | Unassigned | import | ![]() | Declined | Mar 21, 2016 | Dec 3, 2017 | |||||
Use dynamic inference to generate library annotations | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Feb 16, 2016 | Dec 3, 2017 | ||||||
Remove support for mixing "typed eval" and check-ns | Unassigned | Ambrose Bonnaire-Sergeant | Declined | Feb 4, 2016 | Dec 3, 2017 | ||||||
Export typed vars with contracts to untyped namespaces | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Declined | Jan 31, 2016 | Dec 3, 2017 | |||||
Enable sanity-checking compilation of core.typed-rt project | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Jan 31, 2016 | Dec 3, 2017 | ||||||
Override `eval` to type check code in typed namespaces | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Jan 31, 2016 | Dec 3, 2017 | ||||||
pred doesn't work for non-literal HVecs with varargs | Unassigned | import | ![]() | Unresolved | Jan 29, 2016 | Dec 3, 2017 | |||||
t/cast does not run under rewriting type checking | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Completed | Jan 28, 2016 | Dec 3, 2017 | |||||
Upgrade to Clojure 1.8.0 | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Jan 27, 2016 | Dec 3, 2017 | ||||||
cast doesn't work for recursive types | Unassigned | import | ![]() | Declined | Dec 30, 2015 | Dec 3, 2017 | |||||
Add typed Compiler | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Declined | Nov 24, 2015 | Dec 3, 2017 | |||||
Abstract over keyword arguments | Unassigned | Ambrose Bonnaire-Sergeant | Unresolved | Nov 19, 2015 | Dec 3, 2017 | ||||||
Support HMap contract generation | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 19, 2015 | Dec 3, 2017 | ||||||
Add per-namespace flag to check annotations at runtime | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 18, 2015 | Dec 3, 2017 | ||||||
Should blame sub-parts of casts | Unassigned | Ambrose Bonnaire-Sergeant | Declined | Nov 17, 2015 | Dec 3, 2017 | ||||||
Allow defmulti without expected type | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 17, 2015 | Jul 10, 2018 | ||||||
Overlap of free variables and other types should not be empty | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Completed | Nov 17, 2015 | Dec 3, 2017 | |||||
Update ns wrapper macro with Clojure 1.8 changes | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 15, 2015 | Dec 3, 2017 | ||||||
Infer untyped vars via unsafe Dyn-like type | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 15, 2015 | Dec 3, 2017 | ||||||
Should check upcast to Dyn | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Declined | Nov 11, 2015 | Dec 3, 2017 | |||||
Provide a new alias for Any, dedicated for use as a placeholder, thus reserving Any for situations when truly every type is acceptable. | Unassigned | Josh Tilles | Declined | Nov 11, 2015 | Dec 3, 2017 | ||||||
ClassNotFoundException clojure.core.cache.CacheProtocol | Unassigned | import | ![]() | Completed | Nov 10, 2015 | Dec 3, 2017 | |||||
Support older versions of Clojure in the runtime module | Unassigned | Josh Tilles | Declined | Nov 10, 2015 | Dec 3, 2017 | ||||||
Add ability to specify the static type expected for a particular extend-type dispatch | Unassigned | Josh Tilles | ![]() | Declined | Nov 10, 2015 | Dec 3, 2017 | |||||
Type checker should understand clojure.core.typed/cast | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 8, 2015 | Dec 3, 2017 | ||||||
Add contract system and `cast` expression | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 2, 2015 | Dec 3, 2017 | ||||||
Convert inlined dependencies back to regular jars | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Nov 2, 2015 | Dec 3, 2017 | ||||||
Cljc reader conditionals in ns form cause core.typed to skip checking namespace | Unassigned | import | Completed | Nov 2, 2015 | Dec 3, 2017 | ||||||
Remove redundant checking in typed load | Unassigned | Ambrose Bonnaire-Sergeant | ![]() | Completed | Oct 27, 2015 | Dec 3, 2017 | |||||
Directly-linking in Clojure 1.8.0 interferes with load monkey-patching | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Oct 27, 2015 | Dec 3, 2017 | ||||||
Internal error with t/defn, sort-by and no refer all | Unassigned | import | ![]() | Unresolved | Oct 24, 2015 | Oct 26, 2018 | |||||
Separate `load` monkey-patch and typed REPL | Unassigned | Ambrose Bonnaire-Sergeant | Completed | Oct 24, 2015 | Dec 3, 2017 | ||||||
Breaks (my) repl | Unassigned | import | Completed | Sep 29, 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 | |||||
Impossible to annotate protocol in other namespace | Unassigned | import | ![]() | Declined | Sep 17, 2015 | Dec 3, 2017 |
1-50 of 326