Issues

Search issues


CTYP-242	adding stop-gap annotation for 'hash-map' results in runtime exception	Unassigned	Jonathan Leonard	Jun 30, 2015
CTYP-282	Internal error with t/defn, sort-by and no refer all	Unassigned	import	Oct 24, 2015
CTYP-209	method-type is broken	Unassigned	Timo Mihaljov	Apr 8, 2015
CTYP-133	Typechecker fails when checking involves an object from reify	Unassigned	import	Apr 13, 2014
CTYP-72	merge doesn't seem to like records	Unassigned	import	Sep 28, 2013
CTYP-143	extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails	Unassigned	Max Penet	May 12, 2014
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-223	checking clojure.core/keep produces Internal Error--Cannot resolve type: Option	Unassigned	import	May 31, 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-326	Let-aliasing breaks flow inference for results of `class`	Unassigned	Ambrose Bonnaire-Sergeant	Jul 3, 2017
CTYP-201	Calling a multimethod from a protocol function breaks the type checker	Unassigned	Reno Reckling	Feb 27, 2015
CTYP-219	RPS example does not type check	Unassigned	import	May 22, 2015
CTYP-204	Assoc doesn't work with multiple entries	Unassigned	import	Mar 10, 2015
CTYP-32	Cannot instantiate variables that have bounds	Unassigned	Ambrose Bonnaire-Sergeant	Jul 29, 2013
CTYP-222	if-let on an hmap with an optional entry always expected to succeed	Unassigned	import	May 30, 2015
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-301	Abstract over keyword arguments	Unassigned	Ambrose Bonnaire-Sergeant	Nov 19, 2015
CTYP-275	Bad call to path-type: nil	Unassigned	Mark Feeney	Sep 15, 2015
CTYP-140	HSequential things should correctly erase dotted arguments	Unassigned	Ambrose Bonnaire-Sergeant	May 9, 2014
CTYP-221	group-by produces "Cannot resolve type: Seqable"	Unassigned	import	May 29, 2015
CTYP-277	Typechecking fails with internal assert error	Unassigned	import	Sep 16, 2015
CTYP-306	pred doesn't work for non-literal HVecs with varargs	Unassigned	import	Jan 29, 2016
CTYP-241	Let-aliased variables of plain Map lookups should update original map	Unassigned	Mark Feeney	Jun 26, 2015
CTYP-279	An invalid type annotation for a function with a record argument passes a type check	Unassigned	import	Sep 25, 2015
CTYP-274	Inferred type for {{defn}} and {{typed/fn}} with the same body are different	Unassigned	import	Sep 8, 2015
CTYP-129	select-keys on HMap returns Map with union key and value types	Unassigned	Timo Mihaljov	Mar 30, 2014
CTYP-76	Support KwArgsSeq in apply	Unassigned	import	Oct 1, 2013
CTYP-225	Intersections of value types broken	Unassigned	Ambrose Bonnaire-Sergeant	Jun 2, 2015
CTYP-270	"Method code too large!" with protocols (more than 38 functions in the protocol)	Unassigned	import	Aug 18, 2015
CTYP-231	(Array X) is broken and undocumented	Unassigned	Marc O'Morain	Jun 23, 2015

1-32 of 32

Filters

Issues