Make it possible to suppress warnings produced by -fdefer-type-errors
At the moment, there seems to be no way to suppress warnings generated by -fdefer-type-errors (even -w doesn't work). It would be nice to be able to silence them, preferably via a new flag -fno-warn-deferred-type-errors.
The motivation for this comes from using -fdefer-type-errors to write tests that certain definitions do not typecheck (which is very useful, and is a cheaper alternative to writing code to invoke GHC on a source file and analyse its output). In this situation, it is annoying to see a large number of warnings when compiling the testsuite.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler (Type checker) |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |