Most viewed questions in core.typed

0 votes

1 answer

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

asked Mar 30, 2014 in core.typed by jira

0 votes

1 answer

Abstract over keyword arguments

asked Nov 19, 2015 in core.typed by jira

0 votes

1 answer

Cannot instantiate variables that have bounds

asked Jul 30, 2013 in core.typed by jira

0 votes

1 answer

Bad call to path-type: nil

asked Sep 16, 2015 in core.typed by jira

0 votes

1 answer

Intersections of value types broken

asked Jun 2, 2015 in core.typed by jira

0 votes

1 answer

group-by produces "Cannot resolve type: Seqable"

asked May 30, 2015 in core.typed by jira

0 votes

1 answer

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

asked May 12, 2014 in core.typed by jira

0 votes

1 answer

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

asked Sep 8, 2015 in core.typed by jira

0 votes

1 answer

Calling a multimethod from a protocol function breaks the type checker

asked Feb 28, 2015 in core.typed by jira

0 votes

1 answer

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

asked Sep 25, 2015 in core.typed by jira

0 votes

1 answer

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

asked Jan 15, 2015 in core.typed by jira

0 votes

1 answer

Bad type syntax when parsing types of macro-generated anonymous functions from required namespaces (when the types are c

asked Jan 9, 2015 in core.typed by jira

0 votes

1 answer

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

asked May 30, 2015 in core.typed by jira

0 votes

1 answer

method-type is broken

asked Apr 9, 2015 in core.typed by jira

0 votes

1 answer

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

asked Oct 17, 2013 in core.typed by jira

Page:

...