[add documentation to lambdalift
John Meacham <john@repetae.net>**20060815065421] hunk ./E/LambdaLift.hs 46
+-- | we do not lift functions that only appear in saturated strict contexts,
+-- as these functions will never have an escaping thunk or partial app
+-- built and can be turned into local functions in grin.
+--
+-- Although grin is only able to take advantage of groups of possibily
+-- mutually recursive local functions that only tail-call each other, we leave
+-- all candidate functions local, as further grin transformations can expose
+-- tail-calls that arn't evident in core.
+--
+-- A final lambda-lifting needs to be done in grin to get rid of these local
+-- functions that cannot be turned into loops
+
hunk ./E/LambdaLift.hs 112
+--    noLift <- return $ mempty `asTypeOf` noLift