Treatment of unknown pragmas

Richard Eisenberg rae at
Wed Oct 17 15:27:10 UTC 2018

> On Oct 17, 2018, at 10:22 AM, Simon Marlow <marlowsd at> 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list