Commit 82c6e1c6 authored by's avatar

Fix typo where I forgot the new substitution

parent 4d7fed4e
......@@ -161,7 +161,8 @@ match menv subst (TyVarTy tv1) ty2
-> Nothing -- Occurs check
| otherwise
-> do { subst1 <- match_kind menv subst tv1 ty2
; return (extendVarEnv subst tv1' ty2) }
; return (extendVarEnv subst1 tv1' ty2) }
-- Note [Matching kinds]
Just ty1' -- There is an existing binding; check whether ty2 matches it
| tcEqTypeX (nukeRnEnvL rn_env) ty1' ty2
Markdown is supported
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