X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FTypeRep.hi-boot-6;h=59faa59b71d7a6725b6bd54755b7ddc64460f051;hb=7fc749a43b4b6b85d234fa95d4928648259584f4;hp=55d80a6acc17dd5df62f0fa20f4df9ed8086d2f3;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/types/TypeRep.hi-boot-6 b/compiler/types/TypeRep.hi-boot-6
index 55d80a6..59faa59 100644
--- a/compiler/types/TypeRep.hi-boot-6
+++ b/compiler/types/TypeRep.hi-boot-6
@@ -3,4 +3,6 @@ module TypeRep where
 data Type
 data PredType
 data TyThing
+type Kind = Type
+isCoercionKind :: Kind -> GHC.Base.Bool