[GHC] #960: Lexical call site string

[GHC]

#960: Lexical call site string
--------------------------------+-------------------------------------------
 Reporter:  paul at cogito.org.uk  |          Owner:         
     Type:  feature request     |         Status:  new    
 Priority:  normal              |      Milestone:         
Component:  Compiler            |        Version:  6.6    
 Severity:  normal              |     Resolution:         
 Keywords:                      |     Difficulty:  Unknown
 Testcase:                      |   Architecture:  Unknown
       Os:  Unknown             |  
--------------------------------+-------------------------------------------
Comment (by malcolm.wallace at cs.york.ac.uk):

 It occurs to me that there may be a relatively simple src->src
 transformation that could annotate every failing expression with its
 lexical callsite.  Much in the way that hpc uses a src->src transformation
 to annotate expressions with information about whether (and how often)
 they get called.  One of the cool things about the hpc transformation (in
 contrast to the more complex src->src transformation done by Hat) is that
 it does not change the types, so you can freely mix annotated code with
 plain unannotated code (e.g. from libraries).

 I wonder whether you would need to identify "possibly failing" expressions
 - with something like the Catch analysis tool?  Or would it be sufficient
 as a first cut to just assume that all expressions can fail?

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