projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
d386e0d
)
Adding a GENERATED pragma
author
andy@galois.com
<unknown>
Fri, 29 Dec 2006 07:29:48 +0000
(07:29 +0000)
committer
andy@galois.com
<unknown>
Fri, 29 Dec 2006 07:29:48 +0000
(07:29 +0000)
Adding a {-# GENERATED "SourceFile" SourceSpan #-} <expr> pragma.
This will be used to generate coverage for tool generated (or quoted) code.
The pragma states the the expression was generated/quoted from the stated
source file and source span.
No differences found