[project @ 2003-02-06 19:39:35 by tgedell]

Changed so that PredType is declared as a type and not a datatype,
this caused a problem when generating external Core.
Added SourceType as a datatype since PredType refers to it.

diff --git a/ghc/compiler/types/TypeRep.hi-boot b/ghc/compiler/types/TypeRep.hi-boot
index c9fc223..c101eb6 100644 (file)
--- a/ghc/compiler/types/TypeRep.hi-boot
+++ b/ghc/compiler/types/TypeRep.hi-boot
@@ -1,8 +1,9 @@
 _interface_ TypeRep 1
-_exports_ TypeRep Type PredType Kind SuperKind ;
+_exports_ TypeRep Type SourceType PredType Kind SuperKind ;
 _declarations_
 1 data Type ;
-1 data PredType ;
+1 data SourceType ;
+1 type PredType = SourceType ;
 1 type Kind = Type ;
 1 type SuperKind = Type ;
 

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

diff --git a/ghc/compiler/types/TypeRep.hi-boot-6 b/ghc/compiler/types/TypeRep.hi-boot-6
index c3c89b0..5fdbdf5 100644 (file)
--- a/ghc/compiler/types/TypeRep.hi-boot-6
+++ b/ghc/compiler/types/TypeRep.hi-boot-6
@@ -1,6 +1,7 @@
 module TypeRep where
 
 data Type
-data PredType
+data SourceType
+type PredType = SourceType
 type Kind = Type
 type SuperKind = Type