# HG changeset patch
# User haftmann
# Date 1249981116 -7200
# Node ID 79b5b3031c873423ae98fb7a2703a7d219475c27
# Parent  bc1e123295f5d484d8da13564d0b4d4f58fb1b3f
updated generated document

diff -r bc1e123295f5 -r 79b5b3031c87 doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Tue Aug 11 10:46:11 2009 +0200
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Aug 11 10:58:36 2009 +0200
@@ -229,14 +229,14 @@
 \hspace*{0pt}module Example where {\char123}\\
 \hspace*{0pt}\\
 \hspace*{0pt}\\
-\hspace*{0pt}foldla ::~forall a{\char95}1 b{\char95}1.~(a{\char95}1 -> b{\char95}1 -> a{\char95}1) -> a{\char95}1 -> [b{\char95}1] -> a{\char95}1;\\
+\hspace*{0pt}foldla ::~forall a b.~(a -> b -> a) -> a -> [b] -> a;\\
 \hspace*{0pt}foldla f a [] = a;\\
 \hspace*{0pt}foldla f a (x :~xs) = foldla f (f a x) xs;\\
 \hspace*{0pt}\\
 \hspace*{0pt}rev ::~forall a.~[a] -> [a];\\
 \hspace*{0pt}rev xs = foldla ({\char92}~xsa x -> x :~xsa) [] xs;\\
 \hspace*{0pt}\\
-\hspace*{0pt}list{\char95}case ::~forall t a.~t -> (a -> [a] -> t) -> [a] -> t;\\
+\hspace*{0pt}list{\char95}case ::~forall a b.~a -> (b -> [b] -> a) -> [b] -> a;\\
 \hspace*{0pt}list{\char95}case f1 f2 (a :~list) = f2 a list;\\
 \hspace*{0pt}list{\char95}case f1 f2 [] = f1;\\
 \hspace*{0pt}\\
diff -r bc1e123295f5 -r 79b5b3031c87 doc-src/Codegen/Thy/examples/Example.hs
--- 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;