[project @ 1997-09-09 18:04:55 by sof]

[ghc-hetmet.git] / ghc / compiler / types / TyLoop.lhi

diff --git a/ghc/compiler/types/TyLoop.lhi b/ghc/compiler/types/TyLoop.lhi
index 267140f..ec3c65c 100644 (file)
--- 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)
 
@@ -49,7 +51,7 @@ voidTy :: Type
 -- Needed in TysWiredIn
 data StrictnessMark = MarkedStrict | NotMarkedStrict
 mkDataCon :: Name -> [StrictnessMark] -> [FieldLabel]
-         -> [TyVar] -> [(Class,Type)] -> [Type] -> TyCon
+         -> [TyVar] -> [(Class,Type)] -> [TyVar] -> [(Class,Type)] -> [Type] -> TyCon
          -> Id
 mkTupleCon ::  Int -> Name -> Type -> Id
 \end{code}