Changeset 27 for sizechecking/branches/macs/Tests

Timestamp:

May 5, 2014, 3:10:33 PM (11 years ago)

Author:

gobi

Message:

new files

Location:

sizechecking/branches/macs/Tests

Files:

• BindTest.hs (added)
• ExpTest.hs (modified) (1 diff)
• SizeTest.hs (modified) (1 diff)

sizechecking/branches/macs/Tests/ExpTest.hs

@@ -30 +30 @@
 testD2Cons = cons (cons (lit 1) nil) nil
 
-checkAST :: S a -> String -> IO Bool
+checkAST :: S SData a -> String -> IO Bool
 checkAST exp repr = ast exp >>= (\t -> return $ t "" == repr )
 

sizechecking/branches/macs/Tests/SizeTest.hs

@@ -21 +21 @@
 testTail = slam $ \s f -> list (s - lit 1) f
 
+testAddOne :: (Size l) => l ([Unsized] -> [Unsized])
+testAddOne = slam $ \s f -> list (s + lit 1) (lam $ const unsized)
+
 testCons :: Size l => l (a -> [a] -> [a])
 testCons = lam $ \x -> slam $ \s f ->
     list (s + lit 1) $ shift f s (lam $ const x)
 
-checkAst :: S a -> String -> IO Bool
+testConcat :: Size l => l ([a] -> [a] -> [a])
+testConcat = slam $ \s1 f1 -> slam $ \s2 f2 ->
+    list (s1 + s2) $ shift f1 s1 f2
+
+
+checkAst :: S SData a -> String -> IO Bool
 checkAst exp repr = ast exp >>= (\t -> return $ t "" == repr)