From aa07da11ae0f5587d2d284264a6cd1d2d6053037 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 28 Jun 2001 15:11:07 +0000
Subject: [PATCH] [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.]
---
 ghc/compiler/hsSyn/HsTypes.lhs        |    1 +
 ghc/compiler/typecheck/TcMonoType.lhs |    3 +++
 2 files changed, 4 insertions(+)

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