allow case in expressions, parse expressions

[clean-tests.git] / datatype / Main.hs

diff --git a/datatype/Main.hs b/datatype/Main.hs
index bccc35d..8d31f60 100644 (file)
--- a/datatype/Main.hs
+++ b/datatype/Main.hs
@@ -94,7 +94,7 @@ f4
 f5 :: (List' v, Expression v, Function (v (List Int)) v) => Main (v Int)
 f5
     = fun ( \sumf->(\l->[cp|case l of
-                Cons e rest -> e +. sumf rest
+                Cons e rest -> e +. sumf(rest)
                 Nil -> 0
             |])
 --    :- Main {unmain=sumf $ lit (1 :: Int) `cons` (lit 2 `cons` (lit 3 `cons` nil))}
@@ -125,7 +125,7 @@ f7'
             \(from, to)->if' (from >. to) nil (from `cons` fromto (from +. lit 1, to))
     ) :- fun ( \mullist->(
             \l->[cp|case l of
-                Cons e rest -> e *. mullist rest
+                Cons e rest -> e *. mullist(rest)
                 Nil -> 1
             |]
     ) :- fun ( \fac->(