From 24c6342c4ab92a27ba4fbf2f871326e10b9429f2 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 12 Jul 2005 13:36:49 +0000
Subject: [PATCH] [project @ 2005-07-12 13:36:49 by simonpj] Comment only

---
 ghc/compiler/typecheck/TcPat.lhs |    2 ++
 1 file changed, 2 insertions(+)

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 -> ... }
-- 
1.7.10.4