Re: Curry syntax

From: Wolfgang Lux <wolfgang.lux_at_gmail.com>
Date: Thu, 9 Mar 2017 09:25:29 +0100


> Am 08.03.2017 um 19:46 schrieb Andy Jost <Andrew.Jost_at_synopsys.com>:
>
> I wonder if anyone has ever thought about allowing a “where” clause with conditions in a Curry expression. For instance, I wish this were a valid expression:
>
> (x where length x == 3)
>
> (I also like to assume unbound variables are free, but that’s a different topic.)
>
> Any thoughts?

Isn't this already possible with (length x == 3 &> x) in Curry now?
Or am I missing something?

Wolfgang




_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry

Received on Do Mär 09 2017 - 11:29:12 CET

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