X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FTypeRep.hi-boot-5;h=80452e4d2f6e068ec2af01aa023fec40d655a9fd;hb=a814590c794226b34c0c9aff4138b0e7722ddab5;hp=5679aa8f399d14b958e8dba3951d41fac5a5fe3b;hpb=788faebb40b51d37e73ed94dfc99460d39a1a811;p=ghc-hetmet.git

diff --git a/ghc/compiler/types/TypeRep.hi-boot-5 b/ghc/compiler/types/TypeRep.hi-boot-5
index 5679aa8..80452e4 100644
--- a/ghc/compiler/types/TypeRep.hi-boot-5
+++ b/ghc/compiler/types/TypeRep.hi-boot-5
@@ -1,7 +1,9 @@
 __interface TypeRep 1 0 where
-__export TypeRep Type PredType Kind SuperKind ;
+__export TypeRep Type SourceType PredType Kind SuperKind TyThing ;
 1 data Type ;
-1 data PredType ;
+1 data SourceType ;
+1 data TyThing ;
+1 type PredType = SourceType ;
 1 type Kind = Type ;
 1 type SuperKind = Type ;