We're updating the issue view to help you get more done. 

ann-record fails for argument-less records

Description

ann-record fails for records without arguments. The whole error is as follows:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 1. Unhandled java.lang.AssertionError Assert failed: (every? r/Type? types) type_ctors.clj: 497 clojure.core.typed.type-ctors/In RestFn.java: 137 clojure.lang.RestFn/applyTo core.clj: 626 clojure.core/apply assoc_utils.clj: 34 clojure.core.typed.assoc-utils/fn assoc_utils.clj: 23 clojure.core.typed.assoc-utils/fn/G type_ctors.clj: 2181 clojure.core.typed.type-ctors/reduce-type-transform/fn/iter/fn LazySeq.java: 40 clojure.lang.LazySeq/sval LazySeq.java: 49 clojure.lang.LazySeq/seq RT.java: 485 clojure.lang.RT/seq core.clj: 135 clojure.core/seq core.clj: 2539 clojure.core/every? type_ctors.clj: 2179 clojure.core.typed.type-ctors/reduce-type-transform/fn protocols.clj: 148 clojure.core.protocols/fn protocols.clj: 19 clojure.core.protocols/fn/G protocols.clj: 31 clojure.core.protocols/seq-reduce protocols.clj: 53 clojure.core.protocols/fn protocols.clj: 13 clojure.core.protocols/fn/G core.clj: 6461 clojure.core/reduce type_ctors.clj: 2184 clojure.core.typed.type-ctors/reduce-type-transform RestFn.java: 494 clojure.lang.RestFn/invoke assoc_utils.clj: 127 clojure.core.typed.assoc-utils/assoc-type-pairs RestFn.java: 139 clojure.lang.RestFn/applyTo core.clj: 628 clojure.core/apply assoc_utils.clj: 367 clojure.core.typed.assoc-utils/merge-pair/iter/fn/fn assoc_utils.clj: 342 clojure.core.typed.assoc-utils/merge-pair/iter/fn LazySeq.java: 40 clojure.lang.LazySeq/sval LazySeq.java: 49 clojure.lang.LazySeq/seq RT.java: 485 clojure.lang.RT/seq core.clj: 135 clojure.core/seq core.clj: 2559 clojure.core/some type_ctors.clj: 2161 clojure.core.typed.type-ctors/union-or-nil assoc_utils.clj: 342 clojure.core.typed.assoc-utils/merge-pair type_ctors.clj: 2181 clojure.core.typed.type-ctors/reduce-type-transform/fn/iter/fn LazySeq.java: 40 clojure.lang.LazySeq/sval LazySeq.java: 49 clojure.lang.LazySeq/seq RT.java: 485 clojure.lang.RT/seq core.clj: 135 clojure.core/seq core.clj: 2559 clojure.core/some type_ctors.clj: 2161 clojure.core.typed.type-ctors/union-or-nil type_ctors.clj: 2184 clojure.core.typed.type-ctors/reduce-type-transform RestFn.java: 445 clojure.lang.RestFn/invoke assoc_utils.clj: 375 clojure.core.typed.assoc-utils/merge-types RestFn.java: 139 clojure.lang.RestFn/applyTo core.clj: 628 clojure.core/apply check.clj: 1072 clojure.core.typed.check/merge)17420 RestFn.java: 423 clojure.lang.RestFn/invoke MultiFn.java: 233 clojure.lang.MultiFn/invoke check.clj: 1245 clojure.core.typed.check/check :invoke17476/fn check.clj: 1243 clojure.core.typed.check/check :invoke17476

Environment

Clojure 1.7.0-alpha4, core.typed 0.2.76

Status

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Priority

Major