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

GHC ghc-devs at haskell.org
Mon Jul 27 00:58:43 UTC 2015


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

Comment (by gridaphobe):

 Hrm, this patch doesn't produce the output I would expect. Consider

 {{{
 module Bar where

 bar = 1 + 2
 }}}

 {{{
 $ ghc -ddump-tick-vars -ddump-ticked -g bar.hs
 [1 of 1] Compiling Bar              ( bar.hs, bar.o )
 AbsBinds [] []
   {Exports: [bar <= bar_amB
                <>]
    Exported types: bar :: Integer
                    [LclId, Str=DmdType]
    Binds: -- ticks = [src<bar.hs:3:1-11>]
           bar_amB
             = src<bar.hs:3:7-11> (+) src<bar.hs:3:7> 1 src<bar.hs:3:11> 2}
 }}}

 The tick on the `(+)` spans the whole application, which is not precise
 enough for us.

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


More information about the ghc-tickets mailing list