Michael Hanus wrote:
> In addition, it has a change in the code
> generation so that does no longer perform eta-expansion
> (i.e., translation of all equations to first-order rules).
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?
Regards
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Mär 29 2007 - 16:57:23 CEST