Commit 712a6f8a authored by audreyt@audreyt.org's avatar audreyt@audreyt.org
Browse files

* TypeRep.lhs and TypeRep.lhs-boot didn't agree on their signatures (SuperKind vs Kind)

parent 77ccc59a
...@@ -397,6 +397,7 @@ isTySuperKind (NoteTy _ ty) = isTySuperKind ty ...@@ -397,6 +397,7 @@ isTySuperKind (NoteTy _ ty) = isTySuperKind ty
isTySuperKind (TyConApp kc []) = kc `hasKey` tySuperKindTyConKey isTySuperKind (TyConApp kc []) = kc `hasKey` tySuperKindTyConKey
isTySuperKind other = False isTySuperKind other = False
isCoSuperKind :: SuperKind -> Bool
isCoSuperKind (NoteTy _ ty) = isCoSuperKind ty isCoSuperKind (NoteTy _ ty) = isCoSuperKind ty
isCoSuperKind (TyConApp kc []) = kc `hasKey` coSuperKindTyConKey isCoSuperKind (TyConApp kc []) = kc `hasKey` coSuperKindTyConKey
isCoSuperKind other = False isCoSuperKind other = False
......
...@@ -11,9 +11,11 @@ type Coercion = Type ...@@ -11,9 +11,11 @@ type Coercion = Type
type Kind = Type type Kind = Type
tySuperKind :: Kind type SuperKind = Type
coSuperKind :: Kind
isCoSuperKind :: Kind -> Bool tySuperKind :: SuperKind
coSuperKind :: SuperKind
isCoSuperKind :: SuperKind -> Bool
\end{code} \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