Fix typo where I forgot the new substitution

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index b99d387..9ab60e7 100644 (file)
--- a/compiler/types/Unify.lhs
+++ b/compiler/types/Unify.lhs
@@ -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