From ae3231c45230ba771996a55d9f282abe857c80b1 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 23 Aug 2001 15:06:59 +0000 Subject: [PATCH] [project @ 2001-08-23 15:06:59 by simonpj] remove rnsource.hi-boot-5 (part of prev commit) --- ghc/compiler/rename/RnSource.hi-boot-5 | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 ghc/compiler/rename/RnSource.hi-boot-5 diff --git a/ghc/compiler/rename/RnSource.hi-boot-5 b/ghc/compiler/rename/RnSource.hi-boot-5 deleted file mode 100644 index a6d6d40..0000000 --- a/ghc/compiler/rename/RnSource.hi-boot-5 +++ /dev/null @@ -1,5 +0,0 @@ -__interface RnSource 1 0 where -__export RnSource rnHsType rnHsSigType rnHsTypeFVs; -1 rnHsTypeFVs :: Outputable.SDoc -> RdrHsSyn.RdrNameHsType -> RnMonad.RnMS (RnHsSyn.RenamedHsType, NameSet.FreeVars) ; -2 rnHsType :: Outputable.SDoc -> RdrHsSyn.RdrNameHsType -> RnMonad.RnMS RnHsSyn.RenamedHsType ; -2 rnHsSigType :: Outputable.SDoc -> RdrHsSyn.RdrNameHsType -> RnMonad.RnMS RnHsSyn.RenamedHsType ; -- 1.7.10.4