Issues

Search issues


CTYP-327	Adding annotations for clojure.string namespace.	Unassigned	import	May 8, 2018
CTYP-325	Support clojure.spec syntax as static types	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jun 19, 2017
CTYP-324	Remove collect phase	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 8, 2017
CTYP-323	Support latest Clojurescript compiler	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Dec 8, 2016
CTYP-322	Use specs as types	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Dec 6, 2016
CTYP-321	Make generated type readable	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 29, 2016
CTYP-320	Don't track internals of track implementation	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 13, 2016
CTYP-319	Single-pass compiler misses interfaces	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 9, 2016
CTYP-318	Ensure :static-method has :class entry	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 8, 2016
CTYP-317	Port Compiler.java to Clojure	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 2, 2016
CTYP-316	Support primitive functions in runtime instrumentation	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Sep 1, 2016
CTYP-315	Merge CLJ-1744	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Aug 31, 2016
CTYP-314	Current version of core.typed does not work with current Clojure 1.9.0-alpha11	Ambrose Bonnaire-Sergeant	lvh	Aug 21, 2016
CTYP-313	subtyping optional keywords in HMaps	Ambrose Bonnaire-Sergeant	import	Apr 13, 2016
CTYP-312	pred doesn't work with polymorphic protocols?	Ambrose Bonnaire-Sergeant	import	Mar 21, 2016
CTYP-311	Use dynamic inference to generate library annotations	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Feb 16, 2016
CTYP-310	Remove support for mixing "typed eval" and check-ns	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Feb 4, 2016
CTYP-309	Export typed vars with contracts to untyped namespaces	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 31, 2016
CTYP-308	Enable sanity-checking compilation of core.typed-rt project	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 31, 2016
CTYP-307	Override `eval` to type check code in typed namespaces	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 31, 2016
CTYP-305	t/cast does not run under rewriting type checking	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 28, 2016
CTYP-304	Upgrade to Clojure 1.8.0	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jan 27, 2016
CTYP-303	cast doesn't work for recursive types	Ambrose Bonnaire-Sergeant	import	Dec 30, 2015
CTYP-302	Add typed Compiler	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 24, 2015
CTYP-300	Support HMap contract generation	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 19, 2015
CTYP-299	Add per-namespace flag to check annotations at runtime	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 18, 2015
CTYP-298	Should blame sub-parts of casts	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 17, 2015
CTYP-297	Allow defmulti without expected type	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 17, 2015
CTYP-296	Overlap of free variables and other types should not be empty	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 17, 2015
CTYP-295	Update ns wrapper macro with Clojure 1.8 changes	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 15, 2015
CTYP-294	Infer untyped vars via unsafe Dyn-like type	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 15, 2015
CTYP-293	Should check upcast to Dyn	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 11, 2015
CTYP-292	Provide a new alias for Any, dedicated for use as a placeholder, thus reserving Any for situations when truly every type is acceptable.	Ambrose Bonnaire-Sergeant	Josh Tilles	Nov 11, 2015
CTYP-291	ClassNotFoundException clojure.core.cache.CacheProtocol	Ambrose Bonnaire-Sergeant	import	Nov 10, 2015
CTYP-290	Support older versions of Clojure in the runtime module	Ambrose Bonnaire-Sergeant	Josh Tilles	Nov 10, 2015
CTYP-289	Add ability to specify the static type expected for a particular extend-type dispatch	Ambrose Bonnaire-Sergeant	Josh Tilles	Nov 10, 2015
CTYP-288	Type checker should understand clojure.core.typed/cast	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 8, 2015
CTYP-287	Add contract system and `cast` expression	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 2, 2015
CTYP-286	Convert inlined dependencies back to regular jars	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 2, 2015
CTYP-285	Cljc reader conditionals in ns form cause core.typed to skip checking namespace	Ambrose Bonnaire-Sergeant	import	Nov 2, 2015
CTYP-284	Remove redundant checking in typed load	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Oct 27, 2015
CTYP-283	Directly-linking in Clojure 1.8.0 interferes with load monkey-patching	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Oct 27, 2015
CTYP-281	Separate `load` monkey-patch and typed REPL	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Oct 24, 2015
CTYP-280	Breaks (my) repl	Ambrose Bonnaire-Sergeant	import	Sep 29, 2015
CTYP-278	Impossible to annotate protocol in other namespace	Unassigned	import	Sep 17, 2015
CTYP-276	first on HVec strange/wrong result	Ambrose Bonnaire-Sergeant	Mark Feeney	Sep 15, 2015
CTYP-273	`recur` treated differently from a recursive call	Ambrose Bonnaire-Sergeant	import	Sep 6, 2015
CTYP-272	check-ns: Assert failed: (r/Type? t)	Unassigned	import	Aug 25, 2015
CTYP-271	reduce form with (U nil Num) accumulator needs inst to type check	Ambrose Bonnaire-Sergeant	import	Aug 24, 2015
CTYP-269	Combine mutable environments into one atom	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Aug 11, 2015

1-50 of 294

Filters

Issues