Re: 3 release policy

...

...

...

...

Simon Peyton Jones writes:

I'd love to find a way to make warnings more supple, less of a blunt instrument. It hurts me that what is intended as a gentle hint actually ends up disrupting our entire ecosystem!

Since warnings are intended to mean "This could be a problem, but might not be, be warned", there should be a case-by-case way of answering it and saying "I know this isn't a problem". I think a pragma for disabling a particular warning at certain code location would be a good addition to our current disabling mechanisms? John