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

GHC ghc-devs at haskell.org
Fri Jun 12 20:12:25 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):

 I didn't actually change how `TickForCoverage` behaves, so these design
 decisions actually go back to HPC. Changing it would be quite easy -
 probably just replacing a few `addTickLHsExprNever` in `addTickHsExpr` by
 `addTickLHsExpr`.

 On the other hand I'm not quite sure we want that. The original reason was
 probably that it leads to rather silly stacks of ticks on functions that
 are applied to many arguments. Plus both source notes and HPC ticks would
 instantly float upwards, which means that we are not actually gaining any
 information. Source notes get merged eventually, but for HPC it certainly
 would make a performance difference.

 Do you positively need every single expression annotated?

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


More information about the ghc-tickets mailing list