[GHC] #14222: Simple text fusion example results in rather duplicative code

GHC ghc-devs at haskell.org
Fri Sep 15 15:17:13 UTC 2017


#14222: Simple text fusion example results in rather duplicative code
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:  CSE
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 simonpj, regarding comment:4:

 It seems to me like there is a real threat of introducing inappropriate
 sharing in such a scheme, given that full laziness already tends to
 produce quite some [[http://www.well-typed.com/blog/2016/09/sharing-
 conduit/|headaches]]. Do you think CSE is currently cautious enough to
 avoid these sorts of blowups? Perhaps we would want to be slightly less
 aggressive in floating out bindings which the compiler introduced during
 ANF-ization?

 Of course, this is all hypothetical; I suppose the best way to find out is
 to try.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14222#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list