From a16253b873af778b391dc9d5211c348ef7494b9f Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 3 Nov 2003 15:27:32 +0000 Subject: [PATCH] [project @ 2003-11-03 15:27:32 by simonpj] Missing cases in isLiftedTypeKind etc --- ghc/compiler/types/TypeRep.lhs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs index 5c04c9c..15eb0f9 100644 --- a/ghc/compiler/types/TypeRep.lhs +++ b/ghc/compiler/types/TypeRep.lhs @@ -352,11 +352,17 @@ openTypeKind = TyConApp openKindCon [] isLiftedTypeKind, isUnliftedTypeKind, isOpenTypeKind :: Kind -> Bool isLiftedTypeKind (TyConApp tc [TyConApp bc []]) = tyConName tc == typeConName && tyConName bc == liftedConName +isLiftedTypeKind other = False + isUnliftedTypeKind (TyConApp tc [TyConApp bc []]) = tyConName tc == typeConName && tyConName bc == unliftedConName +isUnliftedTypeKind other = False + isOpenTypeKind (TyConApp tc []) = tyConName tc == openKindConName +isOpenTypeKind other = False isSuperKind (TyConApp tc []) = tyConName tc == superKindName +isSuperTypeKind other = False \end{code} ------------------------------------------ -- 1.7.10.4