Changeset 26 for sizechecking/branches/macs/Tests/LambdaTest.hs

Timestamp:

May 4, 2014, 8:06:39 PM (11 years ago)

Author:

gobi

Message:

lambda

File:

• sizechecking/branches/macs/Tests/LambdaTest.hs (modified) (1 diff)

sizechecking/branches/macs/Tests/LambdaTest.hs

@@ -9 +9 @@
 test1 :: (Lambda l) => l Int
 test1 = app (lam $ \_ -> lit 3) (lit 2)
+
+const2 :: (Lambda l) => l ( Int -> Int )
+const2 = lam $ \_ -> lit 2
+
+t3 :: (Lambda l) => l ( (a -> a) -> (a -> a) )
+t3 = (lam $ \f -> lam $ \v -> f `app` (f `app` (f `app` v)))
+
 
 test1ast :: IO Bool