Changeset 15 for sizechecking/Lambda.hs

Timestamp:

Nov 16, 2012, 4:26:26 PM (13 years ago)

Author:

gobi

Message:

new solver

File:

• sizechecking/Lambda.hs (modified) (1 diff)

sizechecking/Lambda.hs

@@ -13 +13 @@
 data L = Abs Int L | App L L | Var Int | Num Int | Op L Char L | List L L | AAbs Int Int L
     | Shift L L L | Unsized | Bottom 
-    deriving Eq
+    deriving (Eq, Ord)
 
 showVar x = if x>28