summaryrefslogtreecommitdiff
path: root/TypeVar.hs
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-05-11 17:52:22 +1000
committerJed Barber <jjbarber@y7mail.com>2012-05-11 17:52:22 +1000
commit255ba39c758535589dfd66ffb6efb108919ecc08 (patch)
treecd76b9e5edfd85b8bb9d61d151a238134e0ebd83 /TypeVar.hs
parent6b9b4e90e4f3bea26834d641899621ad02285b14 (diff)
Incorporated use of Data.Set and Data.Map
Diffstat (limited to 'TypeVar.hs')
-rw-r--r--TypeVar.hs10
1 files changed, 5 insertions, 5 deletions
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)