From 255ba39c758535589dfd66ffb6efb108919ecc08 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Fri, 11 May 2012 17:52:22 +1000 Subject: Incorporated use of Data.Set and Data.Map --- TypeVar.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'TypeVar.hs') diff --git a/TypeVar.hs b/TypeVar.hs index 2dae613..049a9e2 100644 --- a/TypeVar.hs +++ b/TypeVar.hs @@ -24,18 +24,18 @@ import Data.List type Number = Int data Name = Name { nameSpace :: [String] - , nameId :: String } deriving (Eq) + , nameId :: String } deriving (Eq, Ord) -data TypeOp = TypeOp { tyOp :: Name } deriving (Eq) +data TypeOp = TypeOp { tyOp :: Name } deriving (Eq, Ord) data Type = TypeVar { typeVar :: Name } | AType { aType :: [Type] - , aTypeOp :: TypeOp } deriving (Eq) + , aTypeOp :: TypeOp } deriving (Eq, Ord) -data Const = Const { constName :: Name } deriving (Eq) +data Const = Const { constName :: Name } deriving (Eq, Ord) data Var = Var { varName :: Name - , varTy :: Type } deriving (Eq) + , varTy :: Type } deriving (Eq, Ord) -- cgit