On Sun, Sep 24, 2017 at 1:51 AM, Moritz Angermann <moritz.angermann@gmail.com> wrote:
> 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.

I did not mean to imply abuse here.  Just that this kind of annotation should not trigger the external interpreter

I didn't either, really; the main point is that ghc expects annotations to be related to plugins, which *would* require the interpreter.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net