[GHC] #7952: Can cost-centre annotations be included in -ddump-simpl?

[GHC]

#7952: Can cost-centre annotations be included in -ddump-simpl?
---------------------------------+------------------------------------------
    Reporter:  nr                |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.6.3           
    Keywords:  Core              |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by nr):

 I think a simple static analysis could produce some information of use.  I
 understand that the cost-centre stack is dynamic, but I bet a static
 approximation could be useful. If I wish to revisit the semantics, is the
 TOPLAS paper the right starting point, or is there something more recent?
 Also, can anyone suggest which modules in the compiler would be the ones
 to inspect?

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