2014-12-13 13:41 GMT+08:00 Jesse <[email protected]>:
> Hi guys, Does anyone know how to properly deal with refs in core.typed? I
> am running into trouble. When I try to do stuff like this:
>
> (ann my-ref (Ref1 (U Kw nil)))
>> (def my-ref (ref #{}))
>
>
> I get this error:
>
>> IllegalArgumentException No value supplied for key: true
>> clojure.lang.PersistentHashMap.create (PersistentHashMap.java:77)
>
>
> the only thing I can do to make it work is ^:no-check it, but is this the
> solution?
>
Hi, it's pst likes:
IllegalArgumentException No value supplied for key: true
clojure.lang.PersistentHashMap.create (PersistentHashMap.java:77)
clojure.core.typed.type-rep/-hset (type_rep.clj:598)
clojure.core.typed.promote-demote/eval27552/fn--27553/f--27366--auto----27554
(promote_demote.clj:221)
clojure.core.typed.promote-demote/eval27552/fn--27553
(promote_demote.clj:218)
clojure.lang.MultiFn.invoke (MultiFn.java:231)
clojure.core.typed.promote-demote/promote-var
(promote_demote.clj:49)
clojure.core.typed.cs-gen/promote-F (cs_gen.clj:1090)
clojure.core.typed.cs-gen/cs-gen-right-F (cs_gen.clj:1116)
clojure.core.typed.cs-gen/cs-gen/fn--29151 (cs_gen.clj:328)
clojure.core.typed.cs-gen/cs-gen (cs_gen.clj:316)
clojure.core.typed.cs-gen/cs-gen-list/iter--31724--31728/fn--31729
(cs_gen.clj:1594)
clojure.lang.LazySeq.sval (LazySeq.java:40)
it seems a bug in core.typed here
<https://github.com/clojure/core.typed/blob/master/module-check/src/main/clojure/clojure/core/typed/promote_demote.clj#L221>.
I think it supposed to be `(r/-hset fixed :complete? (:complete? T))`.
BTW, there're core.typed mail list
<https://groups.google.com/forum/#!forum/clojure-core-typed>, you can ask
question about core.typed there instead of general clojure list here.
Thanks,
Di Xu
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
