[CTYP-133] Typechecker fails when checking involves an object from reify Created: 13/Apr/14 Updated: 21/Mar/16
|Component/s:||Core type system|
|Reporter:||Daniel Ziltener||Assignee:||Ambrose Bonnaire-Sergeant|
Clojure 1.6.0, core.typed 0.2.44
The error message is
The following is a minimal test case which fails:
Likely similar to bug CTYP-132.
|Comment by Jochen Hinrichsen [ 25/Jul/14 4:36 AM ]|
Also on clojure 1.5.1, core.typed 0.2.65
No method in multimethod 'check' for dispatch value: :reify
|Comment by Donald Ball [ 21/Mar/16 8:09 PM ]|
This is still present in core.typed 0.3.22, and presents my sole use of ^:no-check in one of my libraries. I use protocols like they're going out of style and lean on reify a good bit, it'd be nice to not have to dodge around it thereby.