Lambda Lifting and Haskell

[Simon Peyton-Jones]

You're not asking a question about Haskell, but about Haskell
implementations, and they may make different choices. 

GHC, for example, does not do lambda lifting.  See 
http://research.microsoft.com/copyright/accept.asp?path=/users/simonpj/p
apers/spineless-tagless-gmachine.ps.gz&pub=34
for a summary of what it does do.

Other implementations might do lambda lifting.  I'm not sure.

Simon


| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Marco Morazan
| Sent: 23 July 2005 22:52
| To: glasgow-haskell-users at haskell.org
| Subject: Lambda Lifting and Haskell
| 
| Dear All,
| 
| Apologies in advance if you are getting this a second time. I am
| unsure if my last posting was successful.
| 
| I am interesting in learning how and when are Haskell programs lambda
| lifted. Are all functions always made global? Any pointers are
| appreciated.
| 
| Best wishes,
| 
| Marco
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users