- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Ivan Zakharyaschev <imz_at_altlinux.org>

Date: Tue, 19 Apr 2011 22:00:46 +0000

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,

Date: Tue, 19 Apr 2011 22:00:46 +0000

Wolfgang, thank you for the reply!

2011/4/19 Wolfgang Lux <wlux_at_uni-muenster.de>:

I see. I'll install and use the version from the darcs repository.

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/curryReceived on Mi Apr 20 2011 - 00:03:22 CEST

*
This archive was generated by hypermail 2.3.0
: So Jan 26 2020 - 07:15:11 CET
*