diff options
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) |