Thanks for fixing it!
Den måndagen den 6:e maj 2013 kl. 02:43:53 UTC+2 skrev David Nolen:
>
> Fixed in master, thanks for the report!
>
>
> On Thu, Apr 25, 2013 at 5:53 PM, Martin Forsgren
> <martin....@gmail.com<javascript:>
> > 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 clo...@googlegroups.com<javascript:>
>> Note that posts from new members are moderated - please be patient with
>> your first post.
>> To unsubscribe from this group, send email to
>> clojure+u...@googlegroups.com <javascript:>
>> 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+u...@googlegroups.com <javascript:>.
>> 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.
