#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 scpmw): If I understand correctly, this is primarily about inferring type information about the original program from a (ticked) Haskell syntax dump. So it doesn't matter what later stages of GHC do with the ticks, as long as they appear in that particular dump. And it's quite tempting to do, because we are 99% there and the change would be rather trivial. Main "problem" is that there's simply no good reason in the context of the compiler to behave like this. If we change the default behaviour, it would certainly need a guarding comment that says why this special case exists. I think I'll make some kind of patch this week, not quite sure what it will look like though. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10506#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler