summaryrefslogtreecommitdiff
path: root/TypeVar.hs
diff options
context:
space:
mode:
Diffstat (limited to 'TypeVar.hs')
-rw-r--r--TypeVar.hs27
1 files changed, 0 insertions, 27 deletions
diff --git a/TypeVar.hs b/TypeVar.hs
index aea20a5..436cde4 100644
--- a/TypeVar.hs
+++ b/TypeVar.hs
@@ -11,13 +11,6 @@ module TypeVar (
Var(..),
- nullNumber,
- nullName,
- nullTyOp,
- nullType,
- nullConst,
- nullVar,
-
mkEqualsType,
typeFunc,
typeBool,
@@ -67,26 +60,6 @@ instance Show Var where
-nullNumber :: Number
-nullNumber = 0
-
-nullTyOp :: TypeOp
-nullTyOp = TypeOp nullName
-
-nullType :: Type
-nullType = TypeVar nullName
-
-nullName :: Name
-nullName = Name [] ""
-
-nullConst :: Const
-nullConst = Const nullName
-
-nullVar :: Var
-nullVar = Var nullName nullType
-
-
-
mkEqualsType :: Type -> Type
mkEqualsType ty = typeFunc ty (typeFunc ty typeBool)