diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2021-09-27 20:45:26 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-02 05:19:16 -0400 |
| commit | 0d455a18b027261981931cec4cf18d7f900c921d (patch) | |
| tree | ecea2a1fff43f0d95205799579cb0769a9313a51 /compiler/GHC/Tc/Solver | |
| parent | cb862ecfc3d9d421ff64af35c0d87f6d6f835fa0 (diff) | |
| download | haskell-0d455a18b027261981931cec4cf18d7f900c921d.tar.gz | |
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
Diffstat (limited to 'compiler/GHC/Tc/Solver')
| -rw-r--r-- | compiler/GHC/Tc/Solver/Interact.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver/Interact.hs b/compiler/GHC/Tc/Solver/Interact.hs index e49ead9824..e583861196 100644 --- a/compiler/GHC/Tc/Solver/Interact.hs +++ b/compiler/GHC/Tc/Solver/Interact.hs @@ -1573,7 +1573,7 @@ interactEq inerts workItem@(CEqCan { cc_lhs = lhs interactEq _ wi = pprPanic "interactEq" (ppr wi) ---------------------- --- We have a meta-tyvar on the left, and metaTyVarUpateOK has said "yes" +-- We have a meta-tyvar on the left, and metaTyVarUpdateOK has said "yes" -- So try to solve by unifying. -- Three reasons why not: -- Skolem escape |