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

[ghc-hetmet.git] / ghc / compiler / typecheck / TcPat.lhs

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 33119ea..ac9ac16 100644 (file)
--- 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 -> ... }