/

Issues

Go to advanced search

Search issues

adding stop-gap annotation for 'hash-map' results in runtime exception

Jun 30, 2015

Internal error with t/defn, sort-by and no refer all

Oct 24, 2015

method-type is broken

Apr 8, 2015

Typechecker fails when checking involves an object from reify

Apr 13, 2014

merge doesn't seem to like records

Sep 28, 2013

extend & extend-protocol with (Class/forName "[B") as Class dispatch value fails

May 12, 2014

No matching arities when defining multiple arity protocol method

Jan 25, 2015

Support for clojure.core/extend is broken when used with typed.core/defprotocol

Jan 15, 2015

checking clojure.core/keep produces Internal Error--Cannot resolve type: Option

May 31, 2015

Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are composed, for instance (Option AnyInteger))

Jan 9, 2015

Let-aliasing breaks flow inference for results of `class`

Jul 3, 2017

Calling a multimethod from a protocol function breaks the type checker

Feb 27, 2015

RPS example does not type check

May 22, 2015

Assoc doesn't work with multiple entries

Mar 10, 2015

Cannot instantiate variables that have bounds

Jul 29, 2013

if-let on an hmap with an optional entry always expected to succeed

May 30, 2015

large hashmaps: failure to discover subtype and error-output to complex to understand

Feb 2, 2014

with-meta doesn't type check with vectors or hash-maps.

Oct 16, 2013

Abstract over keyword arguments

Nov 19, 2015

Bad call to path-type: nil

Sep 15, 2015

HSequential things should correctly erase dotted arguments

May 9, 2014

group-by produces "Cannot resolve type: Seqable"

May 29, 2015

Typechecking fails with internal assert error

Sep 16, 2015

pred doesn't work for non-literal HVecs with varargs

Jan 29, 2016

Let-aliased variables of plain Map lookups should update original map

Jun 26, 2015

An invalid type annotation for a function with a record argument passes a type check

Sep 25, 2015

Inferred type for {{defn}} and {{typed/fn}} with the same body are different

Sep 8, 2015

select-keys on HMap returns Map with union key and value types

Mar 30, 2014

Support KwArgsSeq in apply

Oct 1, 2013

Intersections of value types broken

Jun 2, 2015

"Method code too large!" with protocols (more than 38 functions in the protocol)

Aug 18, 2015

(Array X) is broken and undocumented

Jun 23, 2015

1-32 of 32