Re: [GHC] #9128: Possible bug in strictness analyzer when where clause declared NOINLINE

11 Jun 2014

      #9128: Possible bug in strictness analyzer when where clause declared NOINLINE
---------------------------------+-----------------------------------------
        Reporter:  aalevy        |            Owner:
            Type:  bug           |           Status:  new
        Priority:  normal        |        Milestone:
       Component:  Compiler      |          Version:  7.8.2
      Resolution:                |         Keywords:  strictness bytestring
Operating System:  Linux         |     Architecture:  x86_64 (amd64)
 Type of failure:  Runtime       |       Difficulty:  Unknown
  crash                          |       Blocked By:
       Test Case:                |  Related Tickets:
        Blocking:                |
---------------------------------+-----------------------------------------

Comment (by Simon Peyton Jones ):

 In [changeset:"7d9feb264a4fc3c15d1e5f88f2e7a04202ed9743/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="7d9feb264a4fc3c15d1e5f88f2e7a04202ed9743"
 Fix a serious, but rare, strictness analyser bug (Trac #9128)

 In a special case for trivial RHSs (see DmdAnal.unpackTrivial),
 I'd forgotten to include a demand for the RHS itself.
 See Note [Remember to demand the function itself].

 Thanks to David Terei for guiding me to the bug,
 at PLDI in Edinburgh.
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9128#comment:9
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler