Skip to content
Snippets Groups Projects
Commit 0d455a18 authored by Richard Eisenberg's avatar Richard Eisenberg Committed by Marge Bot
Browse files

Use eqType, not tcEqType, in metavar kind check 

Close #20356.

See addendum to Note [coreView vs tcView] in GHC.Core.Type
for the details.

Also killed old Note about metaTyVarUpdateOK, which has been
gone for some time.

test case: typecheck/should_fail/T20356
parent cb862ecf
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 61 additions and 41 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment