Commit a16253b8 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-11-03 15:27:32 by simonpj]

Missing cases in isLiftedTypeKind etc
parent a195d525
......@@ -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}
------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment