Add a missing "prime" (env' --> env'') thereby fixing a tripping WARN. Hurrah!
[ghc-hetmet.git] / compiler / types / TypeRep.lhs-boot
1 \begin{code}
2 module TypeRep where
3
4 data Type
5 data PredType
6 data TyThing
7
8 type Kind = Type
9
10 isCoercionKind :: Kind -> Bool
11 \end{code}
12