Commit 95e3eafc authored by simonpj's avatar simonpj

[project @ 2002-12-11 11:59:26 by simonpj]

Give -> the correct kind!
parent ea8ecf4f
......@@ -364,7 +364,8 @@ instance Binary Kind where
We define a few wired-in type constructors here to avoid module knots
\begin{code}
funTyCon = mkFunTyCon funTyConName (mkArrowKinds [liftedTypeKind, liftedTypeKind] liftedTypeKind)
funTyCon = mkFunTyCon funTyConName (mkArrowKinds [openTypeKind, openTypeKind] liftedTypeKind)
-- Functions can take and return either lifted or unlifted types
\end{code}
------------------------------------------
......
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