From e02e080ada5cd734206164ca755d5ef9de2ff138 Mon Sep 17 00:00:00 2001
From: tgedell <unknown>
Date: Thu, 6 Feb 2003 19:39:37 +0000
Subject: [PATCH] [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.

---
 ghc/compiler/types/TypeRep.hi-boot   |    5 +++--
 ghc/compiler/types/TypeRep.hi-boot-5 |    5 +++--
 ghc/compiler/types/TypeRep.hi-boot-6 |    3 ++-
 3 files changed, 8 insertions(+), 5 deletions(-)

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