Re: slight differences between non-termination and failure

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
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,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Feb 03 2011 - 09:16:56 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:11 CEST