----- Original Message -----
From: "Simon Peyton-Jones"
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