[GHC] #5207: Selective auto-all for local bindings

GHC cvs-ghc at haskell.org
Thu May 19 23:56:22 CEST 2011


#5207: Selective auto-all for local bindings
---------------------------------+------------------------------------------
    Reporter:  ezyang            |       Owner:              
        Type:  feature request   |      Status:  new         
    Priority:  normal            |   Component:  Profiling   
     Version:  7.1               |    Keywords:              
    Testcase:                    |   Blockedby:              
          Os:  Unknown/Multiple  |    Blocking:              
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown
---------------------------------+------------------------------------------
 One style of writing code insists that the majority of functions be found
 in local bindings of where and let. While this keeps global namespace
 clean, it also means that -auto-all doesn't add cost centers to these
 bindings, and we have to manually instrument them. This is a pain. It
 would be really great if there was a magic SCC-ALL pragma which you could
 attach to a let or where keyword, which automatically SCC's all of the
 bindings in that block. You would specify a name, so that all of these
 local bindings could be qualified.

 Maybe also an auto-all for (big) local bindings too? (Without any
 heuristics, that could get really big really fast! But it might be an easy
 step if the above is implemented.)

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



More information about the Glasgow-haskell-bugs mailing list