tc_infer_args does not set in-scope set correctly
As noted in #12785 (closed)##12931 (closed), TcHsType.tc_infer_args
does not set its in-scope set correctly, which means the call to TcMType.new_meta_tv_x
will fail if substTyUnchecked
is replaced by substTy
in the line
kind = substTyUnchecked subst (tyVarKind tv)
This is the only known caller of new_meta_tv_x
to not set the in-scope set, now that #12549 (closed) has been fixed. Once this bug is fixed, change substTyUnchecked
back to substTy
in the line noted above.
Note that other calls to substTyUnchecked
that need to be converted to substTy
are covered in the general ticket #11371.
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |