Bad call to path-type: nil

15 views

Skip to first unread message

Mark Feeney

unread,

Sep 13, 2015, 11:52:29 PM9/13/15

to core.typed

Hi Ambrose.

Getting an internal error destructuring an hvec:

user=> (t/cf (t/fn [x :- (t/Option '[t/Num])] (let [[a] x] a)))

Type Error (/tmp/form-init7108876469087894463.clj:1:40) Internal Error (/tmp/form-init7108876469087894463.clj:1:40) Bad call to path-type: nil, ({:idx 0})

Any thoughts?

Thanks,

Mark

Ambrose Bonnaire-Sergeant

unread,

Sep 15, 2015, 8:14:04 PM9/15/15

to core.typed

Hi Mark,

Is this in a JIRA ticket? Definitely a bug.

Thanks,

Ambrose

Mark Feeney

unread,

Sep 15, 2015, 11:01:14 PM9/15/15

to core.typed

It's in JIRA now: http://dev.clojure.org/jira/browse/CTYP-275

Thanks,

Mark

Reply all

Reply to author

Forward

0 new messages