Fixed in master, thanks for the report!
On Thu, Apr 25, 2013 at 5:53 PM, Martin Forsgren
<martin.forsg...@gmail.com>wrote:
> Hi!
>
> I noticed something strange when using featurec with a nested feature map(I'm
> using core.logic 0.8.3).
> This works as expected:
> (run* [x y]
> (featurec x {:a {:b 1}})
> (== y {:b 1})
> (== x {:a y}))
> and returns:
> ([{:a {:b 1}} {:b 1}])
>
> But with the last two goals swapped I get an exception:
> (run* [x y]
> (featurec x {:a {:b 1}})
> (== x {:a y})
> (== y {:b 1}))
> Throws:
> Exception clojure.core.logic.PMap@3c6f0bed is non-storable
> clojure.core.logic.LVar (logic.clj:647)
> clojure.core.logic/unify (logic.clj:231)
> clojure.core.logic/unify-with-pmap* (logic.clj:2601)
> clojure.core.logic.PMap (logic.clj:2614)
> clojure.core.logic/unify (logic.clj:232)
> clojure.core.logic/==/fn--2819 (logic.clj:1135)
> clojure.core.logic/composeg/fn--2745 (logic.clj:1029)
> clojure.core.logic/-featurec/reify--3655 (logic.clj:2646)
> clojure.core.logic/composeg/fn--2745 (logic.clj:1029)
> clojure.core.logic/composeg/fn--2745 (logic.clj:1030)
> clojure.core.logic/run-constraint/fn--3431 (logic.clj:2184)
> clojure.core.logic/fix-constraints (logic.clj:2211)
>
> I get the same exception when (== y {:b 1}) is left out:
> (run* [x y]
> (featurec x {:a {:b 1}})
> (== x {:a y}))
>
> Any ideas why this is happening?
>
> - Martin
>
> --
> --
> 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/groups/opt_out.
>
>
>
--
--
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/groups/opt_out.
