--- a/doc-src/Codegen/Thy/examples/Example.hs Tue Aug 11 10:46:11 2009 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs Tue Aug 11 10:58:36 2009 +0200
@@ -3,14 +3,14 @@
module Example where {
-foldla :: forall a_1 b_1. (a_1 -> b_1 -> a_1) -> a_1 -> [b_1] -> a_1;
+foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
foldla f a [] = a;
foldla f a (x : xs) = foldla f (f a x) xs;
rev :: forall a. [a] -> [a];
rev xs = foldla (\ xsa x -> x : xsa) [] xs;
-list_case :: forall t a. t -> (a -> [a] -> t) -> [a] -> t;
+list_case :: forall a b. a -> (b -> [b] -> a) -> [b] -> a;
list_case f1 f2 (a : list) = f2 a list;
list_case f1 f2 [] = f1;