Fixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file
authorandy@galois.com <unknown>
Thu, 12 Jul 2007 17:16:46 +0000 (17:16 +0000)
committerandy@galois.com <unknown>
Thu, 12 Jul 2007 17:16:46 +0000 (17:16 +0000)
commit41ac7eb30ff99535c24c39efd33e2b65ea458707
tree081d6e0e333524d3e0906030eea54fc6249098b2
parent8bb7c665517a62163cf4b5a5d48b0d39c5a855c7
Fixing Hpc SrcSpan usage; rejecting SrcSpans that are not in the source file

Now, if you #include a file, you do not get any hpc-info from the included file.
Previously, you got wrong information.

Thanks to Neil Mitchell for pointing out the problem.
compiler/basicTypes/SrcLoc.lhs
compiler/deSugar/Coverage.lhs