[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 (file)
--- 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}
 
 ------------------------------------------