Re: New PAKCS release (Version 1.8.0)

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Thu, 29 Mar 2007 16:23:20 +0200

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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:07 CET