Eliminate check_lifted check in TcValidity
In TcValidity, when checking for valid types, we had a long-standing test, embodied in a local function called check_lifted, which checked that a number of places had a lifted type of kind * and not an unlifted one of kind #.
But that test is out-dated now; the kind system does the job.
So this ticket is to remove the check_lifted test. See the discussion in #11120 (closed), starting at #11465 (closed).
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.10.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |