doc-src/Codegen/Thy/examples/Example.hs
changeset 32360 79b5b3031c87
parent 31848 e5ab21d14974
child 34156 3a7937841585
     1.1 --- a/doc-src/Codegen/Thy/examples/Example.hs	Tue Aug 11 10:46:11 2009 +0200
     1.2 +++ b/doc-src/Codegen/Thy/examples/Example.hs	Tue Aug 11 10:58:36 2009 +0200
     1.3 @@ -3,14 +3,14 @@
     1.4  module Example where {
     1.5  
     1.6  
     1.7 -foldla :: forall a_1 b_1. (a_1 -> b_1 -> a_1) -> a_1 -> [b_1] -> a_1;
     1.8 +foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
     1.9  foldla f a [] = a;
    1.10  foldla f a (x : xs) = foldla f (f a x) xs;
    1.11  
    1.12  rev :: forall a. [a] -> [a];
    1.13  rev xs = foldla (\ xsa x -> x : xsa) [] xs;
    1.14  
    1.15 -list_case :: forall t a. t -> (a -> [a] -> t) -> [a] -> t;
    1.16 +list_case :: forall a b. a -> (b -> [b] -> a) -> [b] -> a;
    1.17  list_case f1 f2 (a : list) = f2 a list;
    1.18  list_case f1 f2 [] = f1;
    1.19