clean up even more

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

diff --git a/datatype/Main.hs b/datatype/Main.hs
index ec7c51b..e794d9b 100644 (file)
--- a/datatype/Main.hs
+++ b/datatype/Main.hs
@@ -129,7 +129,9 @@ f7'
     ) :- fun ( \mullist->(
 --            \l->if' (isNil l) (lit 1) (consf0' l *. mullist (consf1' l))
             \l->[dsl|case l of
-                Cons e rest -> e * mullist(rest)
+                Cons e rest
+                    | e == 1    -> mullist (rest)
+                    | otherwise -> e * mullist(rest)
                 Nil -> 1
             |]
     ) :- fun ( \fac->(