[GHC] #12620: Allow the user to prevent floating and CSE

[GHC]

#12620: Allow the user to prevent floating and CSE
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #9520, #8457      |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by tomjaguarpaw):

 Edsko, I'm a bit puzzled.  For the case of conduits, isn't it enough to
 hide things behind lambdas in the definition of the Pipe type?

 Wren, sure, but Edsko's original claim is that this isn't a full laziness
 issue.  My example brings it back to being a full laziness issue indeed.
 My contention is that even given Edsko's example it still makes more sense
 to fix the full laziness transformation than add a magic word.

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