[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 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