Re: Proposal: restrict multiple guards

From: German Vidal <gvidal_at_dsic.upv.es>
Date: Mon, 07 Apr 2003 21:28:52 +0200 (CEST)

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 Tue Apr 08 2003 - 08:45:09 CEST

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:04 CEST