Reading source annotations during type checking

[Alan & Kim Zimmerman]

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 at smart-cactus.org> wrote:

> Alan, did you see this?
>
> Alejandro Serrano Mena <trupill at 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 at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161220/2a14b0bd/attachment.html>