#3458: Allocation where none should happen
-------------------------------+--------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: low | Milestone: 7.0.2
Component: Compiler | Version: 6.10.4
Keywords: | Testcase:
Blockedby: | Difficulty: Unknown
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: None/Unknown
-------------------------------+--------------------------------------------
Comment(by simonpj):
In general, GHC floats lets out of every strict context (eg strict
function arguments, as well as case scrutinees) to attempt to make things
like case-of-known-constructor fire more easily.
This ticket is about quite a low-level question... I think it's best
tackled by either
* Late lambda lifting, or
* Late float-in
where by "late" I mean just before `CorePrep` or something... ie
transformations are all done, and we're just trying to put the program in
the best form for code generation.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3458#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
