Adding a GENERATED pragma
authorandy@galois.com <unknown>
Fri, 29 Dec 2006 07:29:48 +0000 (07:29 +0000)
committerandy@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