Re: slight differences between non-termination and failure

From: Michael Hanus <>
Date: Thu, 03 Feb 2011 09:16:31 +0100

Sebastian Fischer wrote:
> Sorry! The difference is obvious: extend in repeat2 is strict but extend in
> repeat3 as well as the local pattern in repeat1 are lazy.

Right, otherwise I would be surprised since purely functional Curry
programs (without overlapping rules) should have the same operational
behavior as in Haskell.

Best regards,

curry mailing list
Received on Do Feb 03 2011 - 09:16:56 CET

This archive was generated by hypermail 2.3.0 : Sa Dez 09 2023 - 07:15:12 CET