Issues

Select view

Select search mode

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