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

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

Reply via email to