/

Issues

Go to advanced search

Search issues

Adding annotations for clojure.string namespace.

May 8, 2018

Support clojure.spec syntax as static types

Jun 19, 2017

Remove collect phase

Jan 8, 2017

Support latest Clojurescript compiler

Dec 8, 2016

Use specs as types

Dec 6, 2016

Make generated type readable

Sep 29, 2016

Don't track internals of track implementation

Sep 13, 2016

Single-pass compiler misses interfaces

Sep 9, 2016

Ensure :static-method has :class entry

Sep 8, 2016

Port Compiler.java to Clojure

Sep 2, 2016

Support primitive functions in runtime instrumentation

Sep 1, 2016

Aug 31, 2016

Current version of core.typed does not work with current Clojure 1.9.0-alpha11

Aug 21, 2016

subtyping optional keywords in HMaps

Apr 13, 2016

pred doesn't work with polymorphic protocols?

Mar 21, 2016

Use dynamic inference to generate library annotations

Feb 16, 2016

Remove support for mixing "typed eval" and check-ns

Feb 4, 2016

Export typed vars with contracts to untyped namespaces

Jan 31, 2016

Enable sanity-checking compilation of core.typed-rt project

Jan 31, 2016

Override `eval` to type check code in typed namespaces

Jan 31, 2016

t/cast does not run under rewriting type checking

Jan 28, 2016

Upgrade to Clojure 1.8.0

Jan 27, 2016

cast doesn't work for recursive types

Dec 30, 2015

Add typed Compiler

Nov 24, 2015

Support HMap contract generation

Nov 19, 2015

Add per-namespace flag to check annotations at runtime

Nov 18, 2015

Should blame sub-parts of casts

Nov 17, 2015

Allow defmulti without expected type

Nov 17, 2015

Overlap of free variables and other types should not be empty

Nov 17, 2015

Update ns wrapper macro with Clojure 1.8 changes

Nov 15, 2015

Infer untyped vars via unsafe Dyn-like type

Nov 15, 2015

Should check upcast to Dyn

Nov 11, 2015

Provide a new alias for Any, dedicated for use as a placeholder, thus reserving Any for situations when truly every type is acceptable.

Nov 11, 2015

ClassNotFoundException clojure.core.cache.CacheProtocol

Nov 10, 2015

Support older versions of Clojure in the runtime module

Nov 10, 2015

Add ability to specify the static type expected for a particular extend-type dispatch

Nov 10, 2015

Type checker should understand clojure.core.typed/cast

Nov 8, 2015

Add contract system and `cast` expression

Nov 2, 2015

Convert inlined dependencies back to regular jars

Nov 2, 2015

Cljc reader conditionals in ns form cause core.typed to skip checking namespace

Nov 2, 2015

Remove redundant checking in typed load

Oct 27, 2015

Directly-linking in Clojure 1.8.0 interferes with load monkey-patching

Oct 27, 2015

Separate `load` monkey-patch and typed REPL

Oct 24, 2015

Breaks (my) repl

Sep 29, 2015

Impossible to annotate protocol in other namespace

Sep 17, 2015

first on HVec strange/wrong result

Sep 15, 2015

`recur` treated differently from a recursive call

Sep 6, 2015

check-ns: Assert failed: (r/Type? t)

Aug 25, 2015

reduce form with (U nil Num) accumulator needs inst to type check

Aug 24, 2015

Combine mutable environments into one atom

Aug 11, 2015

1-50 of 294