From dd1bc046750311077c6e3edd8c91b7d7a42c808f Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 5 Jul 1997 02:02:26 +0000
Subject: [PATCH] [project @ 1997-07-05 02:02:26 by sof] added
 splitRhoTy,applyTy

---
 ghc/compiler/types/TyLoop.lhi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/types/TyLoop.lhi b/ghc/compiler/types/TyLoop.lhi
index c03a0870c73c..ec3c65c2df16 100644
--- a/ghc/compiler/types/TyLoop.lhi
+++ b/ghc/compiler/types/TyLoop.lhi
@@ -16,7 +16,7 @@ import PprType ( specMaybeTysSuffix )
 import Name    ( Name )
 import TyCon   ( TyCon )
 import TyVar   ( GenTyVar, TyVar )
-import Type    ( splitSigmaTy, splitFunTy, GenType, Type )
+import Type    ( splitSigmaTy, splitFunTy, splitRhoTy, applyTy, GenType, Type )
 import Usage   ( GenUsage )
 import Class   ( Class, GenClass )
 import TysPrim ( voidTy )
@@ -38,6 +38,8 @@ isNullaryDataCon :: Id -> Bool
 specMaybeTysSuffix :: [Maybe Type] -> FastString
 idType :: Id -> Type
 splitSigmaTy :: GenType t u -> ([t], [(Class,GenType t u)], GenType t u)
+splitRhoTy   :: GenType t u -> ([(Class,GenType t u)], GenType t u)
+applyTy :: Type -> Type -> Type
 splitFunTy   :: GenType t u -> ([GenType t u], GenType t u)
 instance Eq (GenClass a b)
 
-- 
GitLab