Re: New PAKCS release (Version 1.8.0)

From: Wolfgang Lux <>
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


curry mailing list
Received on Do Mär 29 2007 - 16:57:23 CEST

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