<div dir="ltr"><div>Thanks very much! New things to try during Christmas :)<br><br></div>Alejandro<br></div><div class="gmail_extra"><br><div class="gmail_quote">2016-12-20 8:47 GMT+01:00 Alan & Kim Zimmerman <span dir="ltr"><<a href="mailto:alan.zimm@gmail.com" target="_blank">alan.zimm@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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))<span class="HOEnZb"><font color="#888888"><br> <br></font></span></div><span class="HOEnZb"><font color="#888888">Alan<br></font></span></div><div class="HOEnZb"><div class="h5"><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="m_-7097800529581757676h5"><br>
Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com" target="_blank">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_gu<wbr>ide/extending_ghc.html#source-<wbr>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" target="_blank">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-bi<wbr>n/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>