From: simonpj <unknown>
Date: Wed, 11 Dec 2002 11:59:26 +0000 (+0000)
Subject: [project @ 2002-12-11 11:59:26 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1372
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=95e3eafc662db08b2aa0f48959ed6831dda8e532;p=ghc-hetmet.git

[project @ 2002-12-11 11:59:26 by simonpj]
Give -> the correct kind!
---

diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs
index 1bb3479..1ea81e7 100644
--- a/ghc/compiler/types/TypeRep.lhs
+++ b/ghc/compiler/types/TypeRep.lhs
@@ -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}
 
 ------------------------------------------