From: simonpj <unknown>
Date: Mon, 9 Sep 2002 13:48:01 +0000 (+0000)
Subject: [project @ 2002-09-09 13:48:01 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1697
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=404e3520f5c8ed2887d26d82a4c2f5cbf328e63c;p=ghc-hetmet.git

[project @ 2002-09-09 13:48:01 by simonpj]
The body of a for-all should be of kind *

		MERGE TO STABLE
---

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index ac86e09..789e459 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -321,7 +321,10 @@ kcHsType (HsForAllTy (Just tv_names) context ty)
   = kcHsTyVars tv_names		`thenNF_Tc` \ kind_env ->
     tcExtendKindEnv kind_env	$
     kcHsContext context		`thenTc_`
-    kcHsType ty			`thenTc_`
+    kcLiftedType ty		`thenTc_`
+	-- The body of a forall must be of kind *
+	-- In principle, I suppose, we could allow unlifted types,
+	-- but it seems simpler to stick to lifted types for now.
     returnTc liftedTypeKind
 
 ---------------------------