Commit fce8977b authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Comments only

parent d3c3b434
...@@ -407,7 +407,7 @@ rhsToBodyNF rhs = do { (floats,body) <- rhsToBody rhs ...@@ -407,7 +407,7 @@ rhsToBodyNF rhs = do { (floats,body) <- rhsToBody rhs
-------- --------
rhsToBody :: CpeRhs -> UniqSM (Floats, CpeBody) rhsToBody :: CpeRhs -> UniqSM (Floats, CpeBody)
-- Remove top level lambdas by let-bindinig -- Remove top level lambdas by let-binding
rhsToBody (Note n expr) rhsToBody (Note n expr)
-- You can get things like -- You can get things like
...@@ -511,10 +511,10 @@ cpeApp env expr ...@@ -511,10 +511,10 @@ cpeApp env expr
= collect_args fun depth -- They aren't used by the code generator = collect_args fun depth -- They aren't used by the code generator
-- N-variable fun, better let-bind it -- N-variable fun, better let-bind it
-- ToDo: perhaps we can case-bind rather than let-bind this closure,
-- since it is sure to be evaluated.
collect_args fun depth collect_args fun depth
= do { (fun_floats, fun') <- cpeArg env True fun ty = do { (fun_floats, fun') <- cpeArg env True fun ty
-- The True says that it's sure to be evaluated,
-- so we'll end up case-binding it
; return (fun', (fun', depth), ty, fun_floats, []) } ; return (fun', (fun', depth), ty, fun_floats, []) }
where where
ty = exprType fun ty = exprType fun
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment