Wolfgang Lux wrote:
> Do you consider removing the sentence
> For convenience, a defining equation f = g between functions
> is allowed but will be interpreted in Curry as syntactic sugar
> for the corresponding defining equation f x = g x on base types.
> on the bottom of p.6 from the report, which IMO suggests
> eta-expansion?
Is this the only suggestion of eta-expansion? I would also like to see
such references removed.
Cheers
Bernd
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Mär 30 2007 - 07:51:21 CEST