#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