From: simonpj <unknown>
Date: Thu, 28 Jun 2001 15:11:07 +0000 (+0000)
Subject: [project @ 2001-06-28 15:11:07 by simonpj]
X-Git-Tag: Approximately_9120_patches~1663
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=aa07da11ae0f5587d2d284264a6cd1d2d6053037;p=ghc-hetmet.git

[project @ 2001-06-28 15:11:07 by simonpj]
Fix a missing case in kcHsType.

	[Could be merged into 5.00.3, but we probably
	 aren't going to have such a thind.]
---

diff --git a/ghc/compiler/hsSyn/HsTypes.lhs b/ghc/compiler/hsSyn/HsTypes.lhs
index f5156ae..959bcd7 100644
--- a/ghc/compiler/hsSyn/HsTypes.lhs
+++ b/ghc/compiler/hsSyn/HsTypes.lhs
@@ -75,6 +75,7 @@ data HsType name
   -- Generics
   | HsOpTy		(HsType name) name (HsType name)
   | HsNumTy             Integer
+
   -- these next two are only used in interfaces
   | HsPredTy		(HsPred name)
   
diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index bb404c0..7a7086b 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -212,6 +212,9 @@ kcHsType (HsFunTy ty1 ty2)
     kcTypeType ty2	`thenTc_`
     returnTc liftedTypeKind
 
+kcHsType (HsNumTy _)		-- The unit type for generics
+  = returnTc liftedTypeKind
+
 kcHsType ty@(HsOpTy ty1 op ty2)
   = kcTyVar op				`thenTc` \ op_kind ->
     kcHsType ty1			`thenTc` \ ty1_kind ->