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)
commitd386e0d20c6953b7cba4d53538a1782c4aa9980d
treead538fc846298d0d3f7af930427f6f6db311143f
parent654a1ba16e47d3ddabeb74b809ee6097c0770d35
Adding a GENERATED pragma

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.
compiler/deSugar/Coverage.lhs
compiler/deSugar/DsMeta.hs
compiler/hsSyn/HsExpr.lhs
compiler/parser/Lexer.x
compiler/parser/Parser.y.pp
compiler/rename/RnExpr.lhs
compiler/typecheck/TcExpr.lhs
compiler/typecheck/TcHsSyn.lhs