Created Started Finished
By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Name an annotation pragma after what it annotates
GHC parses {-# ANN foo ... #-} as a declaration, so it is the next declaration
a comment above it attaches to. That fact carried the name "declaration", so
such a comment landed in a scope holding nothing: a suppression written there
matched no finding, a tag or a ref there connected nothing, and no rule could
say what the comment documents.
Found by running hopinion over a repository of a thousand modules, where every
Haddock above an ANN pragma was reported by a rule that asks what the comment
is about.