| changeset 31045 | f0c7607bb295 |
| parent 30226 | 2f4684e2ea95 |
| child 31544 | 19b77b1de188 |
--- a/doc-src/Codegen/Thy/examples/Example.hs Mon May 04 23:45:58 2009 +0200 +++ b/doc-src/Codegen/Thy/examples/Example.hs Wed May 06 16:01:05 2009 +0200 @@ -3,7 +3,7 @@ module Example where { -foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a; +foldla :: forall a_1 b_1. (a_1 -> b_1 -> a_1) -> a_1 -> [b_1] -> a_1; foldla f a [] = a; foldla f a (x : xs) = foldla f (f a x) xs;