On Mon, 7 Apr 2003, Michael Hanus wrote:
> [...]
>
> I have looked at many Curry programs and I have the feeling
> that multiple guards are almost always used with Boolean constraints.
> Thus, this change should have no influence on most programs.
>
> Please let me know if you have other experiences or arguments
> in favor of the current definition. Otherwise, I'll introduce
> this change in the next update of the Curry report.
I have checked all the Curry programs we developed, and there are no
program rules with multiple guards of type "Success" in them..
Thus I agree on your suggested change.
Best wishes,
German
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Apr 08 2003 - 08:45:09 CEST