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