[GHC] #10506: SourceNotes are not applied to all identifiers
GHC
ghc-devs at haskell.org
Mon Jun 15 10:25:36 UTC 2015
#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
More information about the ghc-tickets
mailing list