From: tgedell <unknown>
Date: Thu, 6 Feb 2003 19:39:37 +0000 (+0000)
Subject: [project @ 2003-02-06 19:39:35 by tgedell]
X-Git-Tag: Approx_11550_changesets_converted~1193
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e02e080ada5cd734206164ca755d5ef9de2ff138;p=ghc-hetmet.git

[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
--- 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
--- 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
--- 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