From ce82d32ed618ccb7d1c2dcf0550dd93f0a2898d1 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 4 Jan 2005 09:19:50 +0000
Subject: [PATCH] [project @ 2005-01-04 09:19:50 by simonpj] Remove redundant
 Subst hi-boot files

---
 ghc/compiler/coreSyn/Subst.hi-boot   |    6 ------
 ghc/compiler/coreSyn/Subst.hi-boot-5 |    5 -----
 ghc/compiler/coreSyn/Subst.hi-boot-6 |    4 ----
 3 files changed, 15 deletions(-)
 delete mode 100644 ghc/compiler/coreSyn/Subst.hi-boot
 delete mode 100644 ghc/compiler/coreSyn/Subst.hi-boot-5
 delete mode 100644 ghc/compiler/coreSyn/Subst.hi-boot-6

diff --git a/ghc/compiler/coreSyn/Subst.hi-boot b/ghc/compiler/coreSyn/Subst.hi-boot
deleted file mode 100644
index e0627bb..0000000
--- a/ghc/compiler/coreSyn/Subst.hi-boot
+++ /dev/null
@@ -1,6 +0,0 @@
-_interface_ Subst 2
-_exports_ Subst Subst substTyWith ;
-_declarations_
-1 data Subst;
-1 substTyWith _:_ [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;;
-
diff --git a/ghc/compiler/coreSyn/Subst.hi-boot-5 b/ghc/compiler/coreSyn/Subst.hi-boot-5
deleted file mode 100644
index 7be51e9..0000000
--- a/ghc/compiler/coreSyn/Subst.hi-boot-5
+++ /dev/null
@@ -1,5 +0,0 @@
-__interface Subst 2 0 where
-__export Subst Subst substTyWith ;
-1 data Subst;
-1 substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type ;
-
diff --git a/ghc/compiler/coreSyn/Subst.hi-boot-6 b/ghc/compiler/coreSyn/Subst.hi-boot-6
deleted file mode 100644
index 065b99f..0000000
--- a/ghc/compiler/coreSyn/Subst.hi-boot-6
+++ /dev/null
@@ -1,4 +0,0 @@
-module Subst where
-
-data Subst
-substTyWith :: [Var.TyVar] -> [TypeRep.Type] -> TypeRep.Type -> TypeRep.Type
-- 
1.7.10.4