From 82c6e1c687481ed54e434a895db4208d48a8e5c5 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Mon, 28 Jan 2008 21:38:56 +0000
Subject: [PATCH] Fix typo where I forgot the new substitution

---
 compiler/types/Unify.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/types/Unify.lhs b/compiler/types/Unify.lhs
index b99d387..9ab60e7 100644
--- 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
-- 
1.7.10.4