Changeset 22 for sizechecking/branches/macs/tests

Timestamp:

May 3, 2014, 2:45:53 PM (11 years ago)

Author:

gobi

Message:

Expressions

Location:

sizechecking/branches/macs/tests

Files:

• ExpTest.hs (added)
• OpsTest.hs (modified) (1 diff)
• SizeTest.hs (added)

sizechecking/branches/macs/tests/OpsTest.hs

@@ -11 +11 @@
 test1 = app (lam $ \x -> const 3 + x) (const 2)
 
+test2 :: (LOps l) => l Int
+test2 = app (lam $ \x -> const 3 * x) (const 2)
+
+test3 :: (LOps l) => l Int
+test3 = app (lam $ \x -> const 2 * x + const 1) (const 5 - const 2)
+
+
 test1ast :: IO Bool
 test1ast = do
     t <- ast test1
     return $ t "" == "(λa.3+a) 2"
+
 test1eval :: IO Bool
 test1eval = return $ eval test1 == 5
+
+test2ast :: IO Bool
+test2ast = do
+    t <- ast test2
+    return $ t "" == "(λa.3*a) 2"
+
+test2eval :: IO Bool
+test2eval = return $ eval test2 == 6
+
+test3ast :: IO Bool
+test3ast = do
+    t <- ast test3
+    return $ t "" == "(λa.2*a+1) (5-2)"
+
+test3eval :: IO Bool
+test3eval = return $ eval test3 == 7
 
 tests :: [IO Bool]