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

GHC ghc-devs at haskell.org
Mon Jun 17 20:57:36 CEST 2013


#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 simonmar):

 If you're interested in attacking this, you might want to join forces with
 Edward Yang who has been working on using CCSs to implement resource
 limits.

 The semantics we use in GHC isn't written up anywhere, but the essential
 details are in my Haskell Implementer's talk last year:
 http://www.youtube.com/watch?v=J0c4L-AURDQ, and there is more in my WG 2.8
 talk.  The slides for the latter are on the community server I think, but
 I can't reach it right now (maybe it's down).

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



More information about the ghc-tickets mailing list