Changeset 21 for sizechecking/branches/macs/tests/LambdaTest.hs

Timestamp:

May 2, 2014, 3:10:50 PM (11 years ago)

Author:

gobi

Message:

operators

File:

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

sizechecking/branches/macs/tests/LambdaTest.hs

@@ -1 +1 @@
 {-# LANGUAGE NoMonomorphismRestriction #-}
 
+module Tests.LambdaTest where
+
 import Lambda
-import Ops
-import Prelude ( ($), Int )
+import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool )
+import qualified Control.Monad
 
 test1 :: (Lambda l) => l Int
 test1 = app (lam $ \_ -> const 3) (const 2)
 
+test1ast :: IO Bool
+test1ast = do
+    t <- ast test1
+    return $ t "" == "(λa.3) 2"
 
+test1eval :: IO Bool
+test1eval = return $ eval test1 == 3
+
+tests :: [IO Bool]
+tests = [ 
+      test1ast
+    , test1eval
+    ]
+
+runTests :: IO Bool
+runTests = Control.Monad.liftM and $ sequence tests