Wolfgang, thank you for the reply!
2011/4/19 Wolfgang Lux <wlux_at_uni-muenster.de>:
> Yes. The bug is fixed in the darcs repository, but has never made it into a
I see. I'll install and use the version from the darcs repository.
>> Does my intuition that "No solution" guarantees that there exists no
>> solution make sense?
>> When else can the order of the arguments of (=:=) matter (although it
>> appears to be symmetric)?
>
> The order of arguments should not matter anywhere except for the order in
> which solutions are computed.
I see.
Do you have perhaps an answer to the question whether the intuition
that I felt was broken in this case is actually true given the
specification of the Curry language:
that if a correct Curry implementation prints "No solution", then it
is actually so that no solution can be invented (by "solution" I guess
one could mean without going into formalities a result and assignments
to free variables such that
they conform to all the imposed constraints)?
Best wishes,
--
Ivan
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Apr 20 2011 - 00:03:22 CEST