----- 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,...,pn -> en}
===> \y -> case e of {p1 -> e1 y, ..., pn -> en y}
which is described in Santos' PhD thesis as a special
form of eta-expansion which is done in 'special' situations.
> Eta expansion is certainly still done, but only on 'let'
> right-hand-sides, by SimplUtils.tryEtaExpansion.
Ok, thanks
David
>
> Simon
>
> | -----Original Message-----
> | From: [EMAIL PROTECTED]
> [mailto:[EMAIL PROTECTED]
> | On Behalf Of David Sabel
> | Sent: 18 July 2003 14:02
> | To: [EMAIL PROTECTED]
> | Subject: case-eta-expansion
> |
> | Hi,
> |
> | Can someone tell me, where exactly (in the code of ghc5.04.3)
> | the case-eta-expansion is performed, I searched
> | the modules of the simplifier, but didn't find this transformation.
> |
> | Or is it no longer performed in ghc5.04.3?
> |
> | Thanks,
> |
> | David
> |
> |
> | _______________________________________________
> | Glasgow-haskell-users mailing list
> | [EMAIL PROTECTED]
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> [EMAIL PROTECTED]
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
_______________________________________________
Glasgow-haskell-users mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
