Split the Object wrapping from the actual computation in the article commands

1 files changed, 27 insertions, 0 deletions

diff --git a/TypeVar.hs b/TypeVar.hs
index 436cde4..aea20a5 100644
--- a/TypeVar.hs
+++ b/TypeVar.hs
@@ -11,6 +11,13 @@ module TypeVar (
 
 	Var(..),
 
+	nullNumber,
+	nullName,
+	nullTyOp,
+	nullType,
+	nullConst,
+	nullVar,
+
 	mkEqualsType,
 	typeFunc,
 	typeBool,
@@ -60,6 +67,26 @@ 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)