On Sat, Jan 7, 2012 at 11:20 PM, jim wrote:
> Hey David,
>
> From the readme the failing disequality example:
>
> (run* [q]
> (fresh [x y]
>(!= [x 2] [1 y])
>(== x 1)
>(== y 2)
>(== q [x y])))
>
> gives me ([1 2])
>
I just checked this. This fails for me.
David
--
You receive
Thanks for report. Please open a ticket. I'll look into this later this
week.
David
On Saturday, January 7, 2012, jim wrote:
> Hey David,
>
> From the readme the failing disequality example:
>
> (run* [q]
> (fresh [x y]
>(!= [x 2] [1 y])
>(== x 1)
>(== y 2)
>(== q [x y])))
>
> g
Hi
On 8 January 2012 06:20, jim wrote:
> Hey David,
>
> From the readme the failing disequality example:
>
> (run* [q]
> (fresh [x y]
> (!= [x 2] [1 y])
> (== x 1)
> (== y 2)
> (== q [x y])))
>
> gives me ([1 2])
>
> Shouldn't it be:
>
> (run* [q]
> (fresh [x y]
> (!= [x 2] [1 y]
