From: simonpj@microsoft.com <unknown>
Date: Mon, 28 Jan 2008 21:38:56 +0000 (+0000)
Subject: Fix typo where I forgot the new substitution
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=82c6e1c687481ed54e434a895db4208d48a8e5c5

Fix typo where I forgot the new substitution
---

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