| changeset 34156 | 3a7937841585 |
| parent 32360 | 79b5b3031c87 |
| child 37428 | b3d94253e7f2 |
--- a/doc-src/Codegen/Thy/examples/Example.hs Mon Dec 21 16:49:04 2009 +0000 +++ b/doc-src/Codegen/Thy/examples/Example.hs Mon Dec 21 16:50:28 2009 +0000 @@ -2,7 +2,6 @@ module Example where { - 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;