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