Issues

Select view

Select search mode

Bug
adding stop-gap annotation for 'hash-map' results in runtime exception
Unassigned
Jonathan Leonard
Minor
Unresolved
Jun 30, 2015
Oct 26, 2018
Bug
Internal error with t/defn, sort-by and no refer all
Unassigned
import
Major
Unresolved
Oct 24, 2015
Oct 26, 2018
Bug
method-type is broken
Unassigned
Timo Mihaljov
Major
Unresolved
Apr 8, 2015
Jul 10, 2018
Improvement
Typechecker fails when checking involves an object from reify
Unassigned
import
Minor
Unresolved
Apr 13, 2014
Jul 10, 2018
Improvement
merge doesn't seem to like records
Unassigned
import
Minor
Unresolved
Sep 28, 2013
Dec 3, 2017
Improvement
extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails
Unassigned
Max Penet
Minor
Unresolved
May 12, 2014
Dec 3, 2017
Bug
No matching arities when defining multiple arity protocol method
Unassigned
import
Major
Unresolved
Jan 25, 2015
Dec 3, 2017
Bug
Support for clojure.core/extend is broken when used with typed.core/defprotocol
Unassigned
import
Major
Unresolved
Jan 15, 2015
Dec 3, 2017
Bug
checking clojure.core/keep produces Internal Error--Cannot resolve type: Option
Unassigned
import
Blocker
Unresolved
May 31, 2015
Dec 3, 2017
Bug
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
Major
Unresolved
Jan 9, 2015
Dec 3, 2017
Bug
Let-aliasing breaks flow inference for results of `class`
Unassigned
Ambrose Bonnaire-Sergeant
Blocker
Unresolved
Jul 3, 2017
Dec 3, 2017
Bug
Calling a multimethod from a protocol function breaks the type checker
Unassigned
Reno Reckling
Major
Unresolved
Feb 27, 2015
Dec 3, 2017
Bug
RPS example does not type check
Unassigned
import
Major
Unresolved
May 22, 2015
Dec 3, 2017
Bug
Assoc doesn't work with multiple entries
Unassigned
import
Major
Unresolved
Mar 10, 2015
Dec 3, 2017
Bug
Cannot instantiate variables that have bounds
Unassigned
Ambrose Bonnaire-Sergeant
Major
Unresolved
Jul 29, 2013
Dec 3, 2017
Bug
if-let on an hmap with an optional entry always expected to succeed
Unassigned
import
Major
Unresolved
May 30, 2015
Dec 3, 2017
Bug
large hashmaps: failure to discover subtype and error-output to complex to understand
Unassigned
Cees van Kemenade
Major
Unresolved
Feb 2, 2014
Dec 3, 2017
Bug
with-meta doesn't type check with vectors or hash-maps.
Unassigned
import
Major
Unresolved
Oct 16, 2013
Dec 3, 2017
Improvement
Abstract over keyword arguments
Unassigned
Ambrose Bonnaire-Sergeant
Minor
Unresolved
Nov 19, 2015
Dec 3, 2017
Bug
Bad call to path-type: nil
Unassigned
Mark Feeney
Major
Unresolved
Sep 15, 2015
Dec 3, 2017
Bug
HSequential things should correctly erase dotted arguments
Unassigned
Ambrose Bonnaire-Sergeant
Major
Unresolved
May 9, 2014
Dec 3, 2017
Bug
group-by produces "Cannot resolve type: Seqable"
Unassigned
import
Minor
Unresolved
May 29, 2015
Dec 3, 2017
Bug
Typechecking fails with internal assert error
Unassigned
import
Major
Unresolved
Sep 16, 2015
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
Let-aliased variables of plain Map lookups should update original map
Unassigned
Mark Feeney
Blocker
Unresolved
Jun 26, 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
Inferred type for {{defn}} and {{typed/fn}} with the same body are different
Unassigned
import
Major
Unresolved
Sep 8, 2015
Dec 3, 2017
Improvement
select-keys on HMap returns Map with union key and value types
Unassigned
Timo Mihaljov
Minor
Unresolved
Mar 30, 2014
Dec 3, 2017
Improvement
Support KwArgsSeq in apply
Unassigned
import
Minor
Unresolved
Oct 1, 2013
Dec 3, 2017
Bug
Intersections of value types broken
Unassigned
Ambrose Bonnaire-Sergeant
Major
Unresolved
Jun 2, 2015
Dec 3, 2017
Bug
"Method code too large!" with protocols (more than 38 functions in the protocol)
Unassigned
import
Blocker
Unresolved
Aug 18, 2015
Dec 3, 2017
Bug
(Array X) is broken and undocumented
Unassigned
Marc O'Morain
Blocker
Unresolved
Jun 23, 2015
Dec 3, 2017
1-32 of 32