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@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Marco Morazan | Sent: 23 July 2005 22:52 | To: glasgow-haskell-users@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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users