• andy@galois.com's avatar
    Adding a GENERATED pragma · d386e0d2
    andy@galois.com authored
    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.
    d386e0d2
DsMeta.hs 64 KB