<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sun, Sep 24, 2017 at 1:51 AM, Moritz Angermann <span dir="ltr"><<a href="mailto:moritz.angermann@gmail.com" target="_blank">moritz.angermann@gmail.com</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> As I understand it, ANNotations are intended for use with ghc plugins; hlint's use of them is not *quite* an abuse, since it is relying on haskell-src-exts handling of them rather than ghc's.<br></span><br>
I did not mean to imply abuse here.  Just that this kind of annotation should not trigger the external interpreter<br>
</blockquote><div><br></div><div>I didn't either, really; the main point is that ghc expects annotations to be related to plugins, which *would* require the interpreter.</div><div><br></div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div></div>