Changeset 14 for sizechecking/Examples.hs

Timestamp:

Nov 16, 2012, 10:38:01 AM (13 years ago)

Author:

gobi

Message:

removing some debug

File:

• sizechecking/Examples.hs (modified) (4 diffs)

sizechecking/Examples.hs

@@ -46 +46 @@
 
 t27 :: (SizedExp se) => Size se ((a -> a) -> a -> a)
-t27 = bind ( App t3s t3s) $ t3 `app` t3
+t27 = bind (App t3s t3s) $ t3 `app` t3
 
 t27_ :: (SizedExp se) => Size se ((a -> a) -> a -> a)
-t27_ = bind ( App t3s t3s) $ 
+t27_ = bind (App t3s t3s) $ 
         \f ->  t3 `app` t3 `app` f
 
 t27__ :: (SizedExp se) => Size se ((a -> a) -> a -> a)
-t27__ = bind ( App t3s t3s) $ \f x ->
+t27__ = bind (App t3s t3s) $ \f x ->
             t3 `app` t3 `app` f `app` x
 
@@ -216 +216 @@
 
 
-test2s = Abs 2 $ AAbs 18 5  $ appends `App` (Var 2 `App` List (Var 18) (Var 5)) `App` List (Var 18) (Var 5)
+test2s = Abs 2 $ AAbs 18 5  $ appends `App` (Var 2 `App` List (Var 18) (Var 5)) `App`
+  (appends `App` (Var 2 `App` List (Var 18) (Var 5)) `App` List (Var 18) (Var 5))
 test2 :: (SizedExp se)  => Size se (([a] -> [a]) -> [a] -> [a])
-test2 = bind test2s $ \f l -> append `app` (f `app` l) `app` l
+test2 = bind test2s $ \f l -> append `app` (f `app` l) `app` (append `app` (f `app` l) `app` l)
 
 data TestCase = forall a . TestCase P.String (forall se. SizedExp se => Size se a)
@@ -234 +235 @@
         , TestCase "t9" t9
 --        , TestCase "t9_" t9_  -- too few arguments in definition
-        , TestCase "t27" t27
-        , TestCase "t27_" t27_
+--        , TestCase "t27" t27
+--        , TestCase "t27_" t27_
         , TestCase "t27__" t27__
         , TestCase "addone" addone
@@ -251 +252 @@
         , TestCase "charm" charm
         , TestCase "comp" comp
+        , TestCase "merge" merge
+        , TestCase "split1" split1
+        , TestCase "split2" split2
+        , TestCase "mergesort" mergesort
     ]