I did, and thought I saw a reply.

They are captured in the AST.

data AnnDecl name = HsAnnotation
                      SourceText -- Note [Pragma source text] in BasicTypes
                      (AnnProvenance name) (Located (HsExpr name))
 

Alan

On Tue, Dec 20, 2016 at 2:54 AM, Ben Gamari <ben@smart-cactus.org> wrote:

Alan, did you see this?

Alejandro Serrano Mena <trupill@gmail.com> writes:

> Dear GHC devs,
> Is there a way to retrieve "source annotations" (as defined by
> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations)
> during type checking. In particular, I am interested in reading them in
> TcExpr and TcCanonical.
>
> Regards,
> Alejandro

> _______________________________________________
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs