diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 07:30:50 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 07:30:50 +1000 |
commit | 5faabaf240316300e48cf37eae0d5e2bfd0ec66c (patch) | |
tree | 1543c8119a0a7be4cc2f1751a755fb16b67fe8aa /TypeVar.hs | |
parent | f8261525ddb9efe70eef21d3fc45003f431826e7 (diff) |
All potential errors now caught into Nothings
Diffstat (limited to 'TypeVar.hs')
-rw-r--r-- | TypeVar.hs | 27 |
1 files changed, 0 insertions, 27 deletions
@@ -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) |