Issues
| Adding annotations for clojure.string namespace. | Unassigned | import |  | Fixed | May 8, 2018 | Jan 15, 2020 | |||||
| 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 | |||||
| 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 | |||||
| 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 | |||||
| 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 | |||||
| Impossible to annotate protocol in other namespace | Unassigned | import | | Declined | Sep 17, 2015 | Dec 3, 2017 | |||||
| first on HVec strange/wrong result | Unassigned | Mark Feeney | | Declined | Sep 15, 2015 | Dec 3, 2017 | |||||
| `recur` treated differently from a recursive call | Unassigned | import | | Declined | Sep 6, 2015 | Dec 3, 2017 | |||||
| check-ns: Assert failed: (r/Type? t) | Unassigned | import | | Completed | Aug 25, 2015 | Dec 3, 2017 | |||||
| reduce form with (U nil Num) accumulator needs inst to type check | Unassigned | import | | Completed | Aug 24, 2015 | Dec 3, 2017 | |||||
| Combine mutable environments into one atom | Unassigned | Ambrose Bonnaire-Sergeant | | Completed | Aug 11, 2015 | Sep 16, 2015 |
1-50 of 294