From 27a858959f7d9cba498d199f0842f268bf22af29 Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 23 Sep 2003 15:10:23 +0000 Subject: [PATCH] [project @ 2003-09-23 15:10:23 by simonpj] Comment only --- ghc/compiler/typecheck/TcType.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)) -- 1.7.10.4