[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 jpbernardy):

 edsko: the above definition would be rejected only if the **data** inside
 the conduit would be linear (`x`), instead of the conduit itself. It is
 fine to make the conduit type linear and its contents shared.

 Incidentally, I have written a stream library based on this idea, and it's
 described here:
 https://jyp.github.io/pdf/Organ.pdf
 The paper goes into the implication that linearity has in this case, in
 quite depth.

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