Not quite sure what you mean by case eta expansion.
Eta expansion is certainly still done, but only on 'let'
right-hand-sides, by SimplUtils.tryEtaExpansion.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]
| On Behalf Of David Sabel
| Sent: 18 July 2003
- Original Message -
From: Simon Peyton-Jones [EMAIL PROTECTED]
To: David Sabel [EMAIL PROTECTED];
[EMAIL PROTECTED]
Sent: Monday, July 21, 2003 9:53 AM
Subject: RE: case-eta-expansion
Not quite sure what you mean by case eta expansion.
I mean this transformation:
case e of {p1 - e1