<div dir="ltr"><div><div>I did, and thought I saw a reply.<br><br></div>They are captured in the AST.<br><br>data AnnDecl name = HsAnnotation<br>                      SourceText -- Note [Pragma source text] in BasicTypes<br>                      (AnnProvenance name) (Located (HsExpr name))<br> <br></div>Alan<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 20, 2016 at 2:54 AM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@smart-cactus.org" target="_blank">ben@smart-cactus.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Alan, did you see this?<br>
<div><div class="h5"><br>
Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com">trupill@gmail.com</a>> writes:<br>
<br>
> Dear GHC devs,<br>
> Is there a way to retrieve "source annotations" (as defined by<br>
> <a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations" rel="noreferrer" target="_blank">https://downloads.haskell.org/<wbr>~ghc/latest/docs/html/users_<wbr>guide/extending_ghc.html#<wbr>source-annotations</a>)<br>
> during type checking. In particular, I am interested in reading them in<br>
> TcExpr and TcCanonical.<br>
><br>
> Regards,<br>
> Alejandro<br>
</div></div>> ______________________________<wbr>_________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>