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 |