Treatment of unknown pragmas

[Richard Eisenberg]

> On Oct 17, 2018, at 10:22 AM, Simon Marlow <marlowsd at gmail.com> wrote:
> 
>  but then nothing wil notice if you say {-# TOOL HLNIT ... #-} by mistak

This seems fixable. Any tool can slurp in all `TOOL` (or `X-`, which I prefer) pragmas and look for ones that appear to be misspellings. Of course, this doesn't stop me from writing a tool named HLNIT and using those pragmas, but we'll never be able to guard against that.

Richard
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181017/63f4327d/attachment.html>