[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