#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