Create a dedicated `TypeError` exception type
Ticket #10283 (closed) discusses using -fdefer-type-errors to test that certain programs do not type check.
In practice, this involves evaluating certain expressions to WHNF at run-time can checking whether they trigger an exception. Currently, it seems the exception to catch is an ErrorCall exception. It would be nice if we could very specifically catch type errors though. It's entirely possible that a critical test case that I want to be a type error mistakenly type-checks and then calls error. In such a situation, it's hard to distinguish such a true run-time error from a deferred type error. It would be much nicer if something like TypeError would be thrown instead of ErrorCall.
Yes, it's currently possible to look at the text of the ErrorCall and check for certain text fragments in there, but that sounds extremely fragile to me.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.1 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |