Changeset 24 for sizechecking/branches/macs/tests/OpsTest.hs

Timestamp:

May 3, 2014, 6:38:40 PM (11 years ago)

Author:

gobi

Message:

expressions

File:

• sizechecking/branches/macs/tests/OpsTest.hs (modified) (1 diff)

sizechecking/branches/macs/tests/OpsTest.hs

@@ -9 +9 @@
 
 test1 :: (LOps l) => l Int
-test1 = app (lam $ \x -> const 3 + x) (const 2)
+test1 = app (lam $ \x -> lit 3 + x) (lit 2)
 
 test2 :: (LOps l) => l Int
-test2 = app (lam $ \x -> const 3 * x) (const 2)
+test2 = app (lam $ \x -> lit 3 * x) (lit 2)
 
 test3 :: (LOps l) => l Int
-test3 = app (lam $ \x -> const 2 * x + const 1) (const 5 - const 2)
+test3 = app (lam $ \x -> lit 2 * x + lit 1) (lit 5 - lit 2)