From: simonpj Date: Mon, 3 Nov 2003 15:27:32 +0000 (+0000) Subject: [project @ 2003-11-03 15:27:32 by simonpj] X-Git-Tag: Approx_11550_changesets_converted~284 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=a16253b873af778b391dc9d5211c348ef7494b9f;hp=a195d525eb3ad5fd60a8797191c31907e6d9bfb0;p=ghc-hetmet.git [project @ 2003-11-03 15:27:32 by simonpj] Missing cases in isLiftedTypeKind etc --- 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} ------------------------------------------