#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