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

Timestamp:

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

Author:

gobi

Message:

expressions

File:

• sizechecking/branches/macs/tests/ExpTest.hs (modified) (3 diffs)

sizechecking/branches/macs/tests/ExpTest.hs

@@ -5 +5 @@
 import Lambda
 import Exp
-import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool )
+import Prelude ( ($), Int, (==), return, sequence, (>>=), and, (.), IO, Bool, String, const )
 import qualified Control.Monad
 
@@ -12 +12 @@
 
 testAddOne :: Exp e => e ([Int] -> [Int])
-testAddOne = lam $ \l -> cons (const 1) l
+testAddOne = lam $ \l -> cons (lit 1) l
 
 testHead :: Exp e => e ([a] -> a)
-testHead = lam $ \l -> match l undefined $ \x _ -> x
+testHead = lam $ \l -> match l undefined const
 
 testTail :: Exp e => e ([a] -> [a])
@@ -24 +24 @@
     $ \x xs -> cons x (testConcat `app` xs `app` l2)
 
-testEvalNil :: IO Bool
-testEvalNil = return $ ([]::[Int]) == eval testNil
+testDCons :: Exp e => e [Int]
+testDCons = cons (lit 1) $ cons (lit 2) nil
 
-testEvalAddOne :: IO Bool
-testEvalAddOne = return $ [1::Int] == (eval $ testAddOne `app` nil)
+testD2Cons :: Exp e => e [[Int]]
+testD2Cons = cons (cons (lit 1) nil) nil
 
-testEvalTail :: IO Bool
-testEvalTail = return $ [2..6::Int] == eval testTail [1..6]
+checkAST :: S a -> String -> IO Bool
+checkAST exp repr = ast exp >>= (\t -> return $ t "" == repr )
 
-testEvalConcat :: IO Bool
-testEvalConcat = return $ [1..6::Int] == eval testConcat [1,2,3] [4,5,6] 
+tests :: [ IO Bool ]
+tests = 
+    [ return $ ([]::[Int]) == eval testNil
+    , checkAST testNil "[]"
+    , return $ [1::Int] == eval (testAddOne `app` nil)
+    , checkAST testAddOne "λa.1:a"
+    , return $ [2..6::Int] == eval testTail [1..6]
+    , return $ [1..6::Int] == eval testConcat [1,2,3] [4,5,6]
+    , return $ [1,2::Int] == eval testDCons
+    , checkAST testDCons "1:2:[]"
+    , return $ [[1::Int]] == eval testD2Cons
+    , checkAST testD2Cons "(1:[]):[]"
+    ]
 
-tests :: [IO Bool]
-
-tests = [ testEvalNil
-        , testEvalAddOne
-        , testEvalTail
-        , testEvalConcat
-        ]
 
 runTests :: IO Bool