From: simonpj <unknown>
Date: Tue, 23 Sep 2003 15:10:23 +0000 (+0000)
Subject: [project @ 2003-09-23 15:10:23 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~427
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=27a858959f7d9cba498d199f0842f268bf22af29;p=ghc-hetmet.git

[project @ 2003-09-23 15:10:23 by simonpj]
Comment only
---

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index f3e864c..079f225 100644
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -1149,7 +1149,7 @@ match (TyVarTy v) ty tmpls k senv
 	Nothing | typeKind ty `eqKind` tyVarKind v	
 			-- We do a kind check, just as in the uVarX above
 			-- The kind check is needed to avoid bogus matches
-			-- of 	(a b) with (c d), where the kinds don't match
+			-- of (a b) with (c d), where the kinds don't match
 			-- An occur check isn't needed when matching.
 		-> k (extendSubstEnv senv v (DoneTy ty))