projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-07-25 20:43:49 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
types
/
TyLoop.lhi
diff --git
a/ghc/compiler/types/TyLoop.lhi
b/ghc/compiler/types/TyLoop.lhi
index
d36e74e
..
31e348c
100644
(file)
--- a/
ghc/compiler/types/TyLoop.lhi
+++ b/
ghc/compiler/types/TyLoop.lhi
@@
-9,14
+9,15
@@
import Unique ( Unique )
import FieldLabel ( FieldLabel )
import Id ( Id, GenId, StrictnessMark, mkTupleCon, mkDataCon,
import FieldLabel ( FieldLabel )
import Id ( Id, GenId, StrictnessMark, mkTupleCon, mkDataCon,
- dataConSig, dataConArgTys )
+ isNullaryDataCon, dataConArgTys, idType )
import PprType ( specMaybeTysSuffix )
import Name ( Name )
import TyCon ( TyCon )
import TyVar ( GenTyVar, TyVar )
import PprType ( specMaybeTysSuffix )
import Name ( Name )
import TyCon ( TyCon )
import TyVar ( GenTyVar, TyVar )
-import Type ( GenType, Type )
+import Type ( splitSigmaTy, splitFunTy, GenType, Type )
import Usage ( GenUsage )
import Class ( Class, GenClass )
import Usage ( GenUsage )
import Class ( Class, GenClass )
+import TysPrim ( voidTy )
data GenId ty
data GenType tyvar uvar
data GenId ty
data GenType tyvar uvar
@@
-31,12
+32,16
@@
type Id = GenId (GenType (GenTyVar (GenUsage Unique)) Unique)
-- Needed in TyCon
mkTupleCon :: Int -> Id
-- Needed in TyCon
mkTupleCon :: Int -> Id
-dataConSig :: Id -> ([TyVar], [(Class, Type)], [Type], TyCon)
+isNullaryDataCon :: Id -> Bool
specMaybeTysSuffix :: [Maybe Type] -> _PackedString
specMaybeTysSuffix :: [Maybe Type] -> _PackedString
+idType :: Id -> Type
+splitSigmaTy :: GenType t u -> ([t], [(Class,GenType t u)], GenType t u)
+splitFunTy :: GenType t u -> ([GenType t u], GenType t u)
instance Eq (GenClass a b)
-- Needed in Type
dataConArgTys :: Id -> [Type] -> [Type]
instance Eq (GenClass a b)
-- Needed in Type
dataConArgTys :: Id -> [Type] -> [Type]
+voidTy :: Type
-- Needed in TysWiredIn
data StrictnessMark = MarkedStrict | NotMarkedStrict
-- Needed in TysWiredIn
data StrictnessMark = MarkedStrict | NotMarkedStrict