[GHC] #10007: Fix misattribution of Cost Centre profiles to lintAnnots

GHC ghc-devs at haskell.org
Mon Jul 27 16:02:57 UTC 2015


#10007: Fix misattribution of Cost Centre profiles to lintAnnots
-------------------------------------+-------------------------------------
        Reporter:  thoughtpolice     |                   Owner:  scpmw
            Type:  bug               |                  Status:  new
        Priority:  high              |               Milestone:  7.10.3
       Component:  Profiling         |                 Version:  7.10.1-rc1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  #9961             |  Differential Revisions:  Phab:D616
                                     |  Phab:D636
-------------------------------------+-------------------------------------

Comment (by scpmw):

 Interesting. I checked, and the code I used to reproduce the problem was
 exactly what simonpj suggested, but with an extra SCC on the `doCorePass`
 call. That way, I could catch exactly the "leaking" costs. Maybe that
 annotation also changed the compiler behaviour sufficiently to stop this
 from working.

 Anyway, all the better. Maybe we should close this ticket then, and
 continue the discussion of the larger issue in #5654?

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


More information about the ghc-tickets mailing list