Hi Sunil,
core.logic's conde is condi, there is no equivilant to TRS's conde in
core.logic.
Thanks,
Ambrose
On Sat, Oct 8, 2011 at 10:08 AM, Sunil S Nandihalli <
sunil.nandiha...@gmail.com> wrote:
> Thanks David,
>
> Although not related to core.match, I was playing with your core.logic, I
> found that there was no condi (there were only conde condu and conda) .. Is
> it just left as a future thing?
>
>
> Sunil.
>
>
> On Fri, Oct 7, 2011 at 9:34 PM, David Nolen <dnolen.li...@gmail.com>wrote:
>
>> Turns out there was another edge case that I missed around :only which
>> I've since fixed in master. Once I resolve MATCH-26 I'll cut another alpha
>> release.
>>
>> David
>>
>>
>> On Fri, Oct 7, 2011 at 11:55 AM, Sunil S Nandihalli <
>> sunil.nandiha...@gmail.com> wrote:
>>
>>> Thanks David for fixing this so fast. It works very nicely... Sorry I
>>> couldn't reply sooner.
>>> Sunil.
>>>
>>>
>>> On Thu, Oct 6, 2011 at 8:15 AM, David Nolen <dnolen.li...@gmail.com>wrote:
>>>
>>>> This should be fixed, I released 0.2.0-alpha4. Feedback appreciated.
>>>>
>>>> David.
>>>>
>>>> On Mon, Oct 3, 2011 at 6:27 AM, Sunil S Nandihalli <
>>>> sunil.nandiha...@gmail.com> wrote:
>>>>
>>>>> Hello everybody,
>>>>> I was playing with core.match library and I notice the
>>>>> following behavior
>>>>>
>>>>> let [x {:a 1 :b 2 :c 10 :d 30}]
>>>>> (match [x]
>>>>> [({:a _ :b _ :c _ :d _} :only [:a :b :c :d])] :a-1
>>>>> [({:a _ :b 2} :only [:a :b])] :a0
>>>>> [{:a 1 :c _}] :a1
>>>>> [{:c 3 :d _ :e 4}] :a2
>>>>> :else []))
>>>>>
>>>>> returns
>>>>> :a1
>>>>> I was hoping to get
>>>>> :a-1
>>>>>
>>>>> Am I using it wrong? Have I misunderstood as to how match is supposed
>>>>> to work? It looks like match assumes either that there is always a unique
>>>>> match or it does not guarantee that it will the try matches in the order
>>>>> specified. Can somebody help?
>>>>>
>>>>> Thanks,
>>>>> Sunil.
>>>>>
>>>>> --
>>>>> 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 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 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 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 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 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
