/

Issues

Go to advanced search

Search issues

Adding annotations for clojure.string namespace.

May 8, 2018

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

Allow namespace aliases in `ann`

Apr 14, 2014

Typechecker fails when checking involves an object from reify

Apr 13, 2014

Allow defmulti without expected type

Nov 17, 2015

Move CLJS checker to its own jar

Jun 24, 2015

Let-aliased variabled of HVec lookups should update original HVec

Jun 23, 2015

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

Applying flow filter resulted in local being bottom

Sep 8, 2013

No matching arities when defining multiple arity protocol method

Jan 25, 2015

ann-record fails for argument-less records

Jan 5, 2015

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

Jan 15, 2015

HMap merged type

Jan 14, 2015

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

May 31, 2015

Expected: IFn, Actual (Fn [Any -> Any])

Sep 5, 2013

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

Should use fresh names when checking plambdas

Aug 26, 2013

Better error message for TFn app

Feb 27, 2014

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

Impossible to annotate protocol in other namespace

Sep 17, 2015

Use memoization in file-mapping to improve performance.

Jan 10, 2015

RPS example does not type check

May 22, 2015

No such var: ana/ns->relpath when loading the ClojureScript typechecker

Oct 8, 2014

Type signature for sort is incorrect - never returns nil

Jun 19, 2015

Lein REPL Autocomplete in typed namespaces throws a type error

Jun 2, 2015

wrap-clj-repl causes error

May 20, 2015

check-ns: Assert failed: (r/Type? t)

Aug 25, 2015

Assoc doesn't work with multiple entries

Mar 10, 2015

Heterogeneous Vector is not ISeqable in CLJS

Sep 11, 2013

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

1-50 of 326