From 5faabaf240316300e48cf37eae0d5e2bfd0ec66c Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Tue, 29 May 2012 07:30:50 +1000
Subject: All potential errors now caught into Nothings

---
 TypeVar.hs | 27 ---------------------------
 1 file changed, 27 deletions(-)

(limited to 'TypeVar.hs')

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)
 
-- 
cgit