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 <[email protected]> wrote:
> Alan, did you see this?
>
> Alejandro Serrano Mena <[email protected]> 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
> > [email protected]
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
