Thanks Di Xu. Good to know. I have joined the core.typed group and will
post my questions there from now on.
J
On Friday, December 12, 2014 11:41:43 PM UTC-6, Jesse wrote:
>
> 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?
>
> Furthermore, when check this code here:
>
> (defn update-refs [ref-name :- (Ref1 (Set (Option Kw))), update-map :-
>> (Map Kw String)] :- (Set (Option Kw))
>> (dosync
>> (alter some-other-ref merge update-map)
>> (alter ref-name s/union #{(first (keys update-map))})))
>
>
> I get errors about how alter is unable to be applied to its arguments and
> how first is a polymorphic function. Here they are in all their glory. I
> can't follow the the thread of what exactly is wrong here from what it says.
>
> Type Error (tic_tac_toe/check.clj:80:3) Polymorphic function alter could
> not be applied to arguments:
> Polymorphic Variables:
> w
> r
> b
>
> Domains:
> (Ref2 w r) [r b ... b -> w] b ... b
>
> Arguments:
> (Ref1 (HMap :mandatory {:a2 (Option Str), :b2 (Option Str), :c3 (Option
> Str), :a3 (Option Str), :a1 (Option Str), :b1 (Option Str), :c2 (Option
> Str), :c1 (Option Str), :b3 (Option Str)})) (All [k v] (IFn [nil * -> nil]
> [(clojure.lang.IPersistentMap k v) (clojure.lang.IPersistentMap k v) * ->
> (clojure.lang.IPersistentMap k v)] [(Option (clojure.lang.IPersistentMap k
> v)) * -> (Option (clojure.lang.IPersistentMap k v))])) (Map Kw
> java.lang.String)
>
> Ranges:
> w
>
> in: (alter some-other-ref merge update-map)
> in: (alter some-other-ref merge update-map)
>
> Type Error (tic_tac_toe/check.clj:81:4) Polymorphic function alter could
> not be applied to arguments:
> Polymorphic Variables:
> w
> r
> b
>
> Domains:
> (Ref2 w r) [r b ... b -> w] b ... b
>
> Arguments:
> (Ref1 (Set (Option Kw))) (All [x] [(Set x) * -> (Set x)])
> (PersistentHashSet (U Keyword nil))
>
> Ranges:
> w
>
> with expected type:
> Any
> in: (alter my-ref s/union #{(first (keys update-map))})
> in: (alter my-ref s/union #{(first (keys update-map))})
>
> Type Error (tic_tac_toe/check.clj:79:3) Polymorphic static method
> clojure.lang.LockingTransaction/runInTransaction could not be applied to
> arguments:
> Polymorphic Variables:
> x
>
> Domains:
> [-> x]
>
> Arguments:
> [-> Any]
>
> Ranges:
> x
>
> with expected type:
> (Set (Option Kw))
>
> in: (clojure.lang.LockingTransaction/runInTransaction (fn* ([] (do (alter
> some-other-ref merge update-map) (alter my-ref s/union #{(first (keys
> update-map))})))))
> in: (clojure.lang.LockingTransaction/runInTransaction (fn* ([] (do # #))))
>
>
> Lastly, the example from the wiki with the atom:
>
> (cf (atom {}) (Atom1 (Map Sym Num)))
>
> => (Atom2 (IPersistentMap Sym Num) (IPersistentMap Sym Num))
>
>
> does not translate to the ref:
>
> (cf (ref #{}) (Ref1 (Seq (U nil Kw))))
>
> => IllegalArgumentException No value supplied for key: true
>> clojure.lang.PersistentHashMap.create (PersistentHashMap.java:77)
>
> (same error as above)
>
> I have seen this error before on a jira issue posted here:
> http://dev.clojure.org/jira/browse/CLJ-1149
>
> What is going on? I am using clojure 1.7.0-alpha4 and core.typed 0.2.72
>
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
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 clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
