Issues

Search issues


CTYP-326	Let-aliasing breaks flow inference for results of `class`	Unassigned	Ambrose Bonnaire-Sergeant	Jul 3, 2017
CTYP-306	pred doesn't work for non-literal HVecs with varargs	Unassigned	import	Jan 29, 2016
CTYP-301	Abstract over keyword arguments	Unassigned	Ambrose Bonnaire-Sergeant	Nov 19, 2015
CTYP-282	Internal error with t/defn, sort-by and no refer all	Unassigned	import	Oct 24, 2015
CTYP-279	An invalid type annotation for a function with a record argument passes a type check	Unassigned	import	Sep 25, 2015
CTYP-277	Typechecking fails with internal assert error	Unassigned	import	Sep 16, 2015
CTYP-275	Bad call to path-type: nil	Unassigned	Mark Feeney	Sep 15, 2015
CTYP-274	Inferred type for {{defn}} and {{typed/fn}} with the same body are different	Unassigned	import	Sep 8, 2015
CTYP-270	"Method code too large!" with protocols (more than 38 functions in the protocol)	Unassigned	import	Aug 18, 2015
CTYP-242	adding stop-gap annotation for 'hash-map' results in runtime exception	Unassigned	Jonathan Leonard	Jun 30, 2015
CTYP-241	Let-aliased variables of plain Map lookups should update original map	Unassigned	Mark Feeney	Jun 26, 2015
CTYP-231	(Array X) is broken and undocumented	Unassigned	Marc O'Morain	Jun 23, 2015
CTYP-225	Intersections of value types broken	Unassigned	Ambrose Bonnaire-Sergeant	Jun 2, 2015
CTYP-223	checking clojure.core/keep produces Internal Error--Cannot resolve type: Option	Unassigned	import	May 31, 2015
CTYP-222	if-let on an hmap with an optional entry always expected to succeed	Unassigned	import	May 30, 2015
CTYP-221	group-by produces "Cannot resolve type: Seqable"	Unassigned	import	May 29, 2015
CTYP-219	RPS example does not type check	Unassigned	import	May 22, 2015
CTYP-209	method-type is broken	Unassigned	Timo Mihaljov	Apr 8, 2015
CTYP-204	Assoc doesn't work with multiple entries	Unassigned	import	Mar 10, 2015
CTYP-201	Calling a multimethod from a protocol function breaks the type checker	Unassigned	Reno Reckling	Feb 27, 2015
CTYP-197	No matching arities when defining multiple arity protocol method	Unassigned	import	Jan 25, 2015
CTYP-195	Support for clojure.core/extend is broken when used with typed.core/defprotocol	Unassigned	import	Jan 15, 2015
CTYP-191	Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are composed, for instance (Option AnyInteger))	Unassigned	import	Jan 9, 2015
CTYP-143	extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails	Unassigned	Max Penet	May 12, 2014
CTYP-140	HSequential things should correctly erase dotted arguments	Unassigned	Ambrose Bonnaire-Sergeant	May 9, 2014
CTYP-133	Typechecker fails when checking involves an object from reify	Unassigned	import	Apr 13, 2014
CTYP-129	select-keys on HMap returns Map with union key and value types	Unassigned	Timo Mihaljov	Mar 30, 2014
CTYP-102	large hashmaps: failure to discover subtype and error-output to complex to understand	Unassigned	Cees van Kemenade	Feb 2, 2014
CTYP-88	with-meta doesn't type check with vectors or hash-maps.	Unassigned	import	Oct 16, 2013
CTYP-76	Support KwArgsSeq in apply	Unassigned	import	Oct 1, 2013
CTYP-72	merge doesn't seem to like records	Unassigned	import	Sep 28, 2013
CTYP-32	Cannot instantiate variables that have bounds	Unassigned	Ambrose Bonnaire-Sergeant	Jul 29, 2013
CTYP-327	Adding annotations for clojure.string namespace.	Unassigned	import	May 8, 2018
CTYP-134	Allow namespace aliases in `ann`	Ambrose Bonnaire-Sergeant	Oskar Thorén	Apr 14, 2014
CTYP-297	Allow defmulti without expected type	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Nov 17, 2015
CTYP-238	Move CLJS checker to its own jar	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jun 24, 2015
CTYP-232	Let-aliased variabled of HVec lookups should update original HVec	Unassigned	Mark Feeney	Jun 23, 2015
CTYP-49	Applying flow filter resulted in local being bottom	Unassigned	Ambrose Bonnaire-Sergeant	Sep 8, 2013
CTYP-188	ann-record fails for argument-less records	Unassigned	import	Jan 5, 2015
CTYP-194	HMap merged type	Unassigned	import	Jan 14, 2015
CTYP-47	Expected: IFn, Actual (Fn [Any -> Any])	Unassigned	import	Sep 5, 2013
CTYP-35	Should use fresh names when checking plambdas	Unassigned	Ambrose Bonnaire-Sergeant	Aug 26, 2013
CTYP-109	Better error message for TFn app	Unassigned	Ambrose Bonnaire-Sergeant	Feb 27, 2014
CTYP-278	Impossible to annotate protocol in other namespace	Unassigned	import	Sep 17, 2015
CTYP-192	Use memoization in file-mapping to improve performance.	Unassigned	import	Jan 10, 2015
CTYP-176	No such var: ana/ns->relpath when loading the ClojureScript typechecker	Unassigned	import	Oct 8, 2014
CTYP-228	Type signature for sort is incorrect - never returns nil	Ambrose Bonnaire-Sergeant	Marc O'Morain	Jun 19, 2015
CTYP-224	Lein REPL Autocomplete in typed namespaces throws a type error	Ambrose Bonnaire-Sergeant	Ambrose Bonnaire-Sergeant	Jun 2, 2015
CTYP-218	wrap-clj-repl causes error	Unassigned	import	May 20, 2015
CTYP-272	check-ns: Assert failed: (r/Type? t)	Unassigned	import	Aug 25, 2015

1-50 of 326

Filters

Issues