LINE pragma disables automatic tickish annotations

If a {-# LINE #-} pragma is used in the code, this prevents the code in question to be considered for annotation in the desugaring phase. So, say, passing -auto-all on the command line would have no effect on these lines.

This is probably a relic from HPC, which because of the way Mix files are written can't handle annotations referring to a different source file. Cost centres, on the other hand, have no reason to make this sort of restriction.

The proposed patch defines a tickSameFileOnly flag that can be set as needed.

Trac metadata

Trac field	Value
Version	7.5
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture