[GHC] #7206: Implement cheap build
GHC
ghc-devs at haskell.org
Fri Aug 22 21:25:56 UTC 2014
#7206: Implement cheap build
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: ⊥
Component: Compiler | Version: 7.4.2
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Unknown
Type of failure: | Blocked By:
None/Unknown | Related Tickets:
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by dfeuer):
Even more kinds of producers makes for even more fusion rules. If we
decide to rewrite ''all'' consumers to `foldr`, I suppose that then opens
up the possibility of having multiple producers instead, but expanding on
both ends makes for a rule explosion. I'm also trying, on and off, to see
if we can get away with writing all these enumerations using `unfoldr` or
similar; I'm not sure how these ideas interact.
An idea that might be crazy: introduce a local annotation indicating that
a certain function should be treated as `CONLIKE` at a particular call
site. So then you'd have just `{-# CHEAP #-} build blah` and leave the
fusion rules alone.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7206#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list