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