From 404e3520f5c8ed2887d26d82a4c2f5cbf328e63c Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Mon, 9 Sep 2002 13:48:01 +0000
Subject: [PATCH] [project @ 2002-09-09 13:48:01 by simonpj] The body of a
 for-all should be of kind *

		MERGE TO STABLE
---
 ghc/compiler/typecheck/TcMonoType.lhs |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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