[GHC] #10506: SourceNotes are not applied to all identifiers

[GHC]

#10506: SourceNotes are not applied to all identifiers
-------------------------------------+-------------------------------------
        Reporter:  gridaphobe        |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.10.2
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by gridaphobe):

 I don't think we need every expression annotated, but we do need every
 '''identifier''' annotated. This is in the context of LiquidHaskell, where
 we infer refinement types for Haskell functions. One output mode we have
 (which is invaluable in my experience) is an HTML version of the Haskell
 module where each identifier is annotated with a popup containing its
 refined type. To create this annotated HTML document, we do need precise
 source locations for each occurrence of an identifier (and lambda
 expressions).

 I doubt the performance overhead would be that bad if we restrict the
 extra ticks to identifiers and lambdas, but if it turns out to be a
 problem I'd also be perfectly happy with a separate `TickEverything`
 strategy that we can select.

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