Re: [GHC] #11193: Strict extension does not make monadic bindings strict

14 Dec 2015

      #11193: Strict extension does not make monadic bindings strict
-------------------------------------+-------------------------------------
        Reporter:  robstewartuk      |                Owner:  adamse
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  7.11
  (CodeGen)                          |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1612
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"419b6c00c194ccbd3c94539c26246dc41c88ed6c/ghc" 419b6c0/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="419b6c00c194ccbd3c94539c26246dc41c88ed6c"
 Make binds in do-blocks strict when -XStrict (#11193)

 Previously bindings in `do` blocks were omitted. With `-XStrict`
 ```lang=hs
 do content <- action
    other_things
 ```
 should be equivalent to
 ```lang=hs
 do !content <- action
    other_things
 ```

 Fixes #11193.

 Reviewers: bgamari, austin

 Reviewed By: bgamari

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D1612

 GHC Trac Issues: #11193
 }}}

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