Commit 404e3520 authored by simonpj's avatar simonpj

[project @ 2002-09-09 13:48:01 by simonpj]

The body of a for-all should be of kind *

parent 1e25bdc2
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment