#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