From 9d3cdcf4912c7081774806e561eb1aff0b640a93 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Sat, 5 Jul 1997 01:48:12 +0000
Subject: [PATCH] [project @ 1997-07-05 01:48:12 by sof] Added splitRhoTy,
 applyTy

---
 ghc/compiler/types/Type.hi-boot |   10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/ghc/compiler/types/Type.hi-boot b/ghc/compiler/types/Type.hi-boot
index 9e92b95..8a2b035 100644
--- a/ghc/compiler/types/Type.hi-boot
+++ b/ghc/compiler/types/Type.hi-boot
@@ -3,9 +3,11 @@ _usages_
 TyVar 1 :: TyVar 1;
 Usage 1 :: Uage 1;
 _exports_
-Type Type GenType splitFunTy splitSigmaTy;
+Type Type GenType splitFunTy splitSigmaTy splitRhoTy applyTy;
 _declarations_
-1 type Type = Type.GenType TyVar.TyVar Usage.UVar ;
+1 type Type = GenType TyVar!TyVar Usage.UVar ;
 1 data GenType a b;
-1 splitFunTy _:_ _forall_ [a b] => Type.GenType a b -> ([Type.GenType a b], Type.GenType a b) ;;
-1 splitSigmaTy _:_ _forall_ [a b] => Type.GenType a b -> ([a],[(Class.Class,Type.GenType a b)], Type.GenType a b) ;;
+1 splitFunTy _:_ _forall_ [a b] => GenType a b -> ([GenType a b], GenType a b) ;;
+1 splitSigmaTy _:_ _forall_ [a b] => GenType a b -> ([a],[(Class.Class,GenType a b)], GenType a b) ;;
+1 splitRhoTy   _:_ _forall_ [t u] => GenType t u -> ([(Class.Class,GenType t u)], GenType t u) ;;
+1 applyTy _:_ Type -> Type -> Type ;;
-- 
1.7.10.4