case-eta-expansion

David Sabel dsabel@stud.uni-frankfurt.de
Mon, 21 Jul 2003 10:46:45 +0200


----- Original Message -----
From: "Simon Peyton-Jones" <simonpj@microsoft.com>
To: "David Sabel" <dsabel@stud.uni-frankfurt.de>;
<glasgow-haskell-users@haskell.org>
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: glasgow-haskell-users-admin@haskell.org
> [mailto:glasgow-haskell-users-admin@haskell.org]
> | On Behalf Of David Sabel
> | Sent: 18 July 2003 14:02
> | To: glasgow-haskell-users@haskell.org
> | 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
> | Glasgow-haskell-users@haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users@haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users