From: simonpj <unknown>
Date: Tue, 12 Jul 2005 13:36:49 +0000 (+0000)
Subject: [project @ 2005-07-12 13:36:49 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~364
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=24c6342c4ab92a27ba4fbf2f871326e10b9429f2;p=ghc-hetmet.git

[project @ 2005-07-12 13:36:49 by simonpj]
Comment only
---

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 33119ea..ac9ac16 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -126,6 +126,8 @@ tcPatBndr LamPat bndr_name pat_ty
   = do	{ pat_ty' <- zapExpectedType pat_ty argTypeKind
 		-- If pat_ty is Expected, this returns the appropriate
 		-- SigmaType.  In Infer mode, we create a fresh type variable.
+		-- Note argTypeKind: the variable can have an unboxed type,
+		--	but not an unboxed tuple.
 		-- Note the SigmaType: we can get
 		-- 	data T = MkT (forall a. a->a)
 		-- 	f t = case t of { MkT g -> ... }