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

Timestamp:

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

Author:

gobi

Message:

expressions

File:

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

sizechecking/branches/macs/tests/SizeTest.hs

@@ -6 +6 @@
 import Lambda
 import Ops
-import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool )
+import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool, String, const )
+import qualified Control.Monad
 
 testEmpty1 :: (Size l) => l [Unsized]
-testEmpty1 = list (const 0) (lam $ \_ -> unsized)
+testEmpty1 = list (lit 0) (lam $ const unsized)
 
 testNil :: (Size l) => l [a]
-testNil = list (const 0) (lam $ \_ -> bottom)
+testNil = list (lit 0) (lam $ const bottom)
 
 testHead :: (Size l) => l ([a] -> a)
-testHead = slam $ \s f -> f `app` (s - const 1)
+testHead = slam $ \s f -> f `app` (s - lit 1)
 
 testTail :: (Size l) => l ([a] -> [a])
-testTail = slam $ \s f -> list (s - const 1) f
+testTail = slam $ \s f -> list (s - lit 1) f
 
 testCons :: Size l => l (a -> [a] -> [a])
 testCons = lam $ \x -> slam $ \s f ->
-    list (s + const 1) $ shift f s (lam $ \_ -> x)
+    list (s + lit 1) $ shift f s (lam $ const x)
+
+checkAst :: S a -> String -> IO Bool
+checkAst exp repr = ast exp >>= (\t -> return $ t "" == repr)
+
+tests :: [IO Bool]
+tests = [
+      checkAst testEmpty1 "List 0 (λa.U)"
+    , checkAst testNil "List 0 (λa.┮)"
+    , checkAst testHead "Λa,b.b (a-1)"
+    , checkAst testTail "Λa,b.List (a-1) b"
+    , checkAst testCons "λa.Λb,c.List (b+1) (Shift c b (λd.a))"
+    ]
+
+runTests :: IO Bool
+runTests = Control.Monad.liftM and $ sequence tests