updated generated document
authorhaftmann
Tue Aug 11 10:58:36 2009 +0200 (2009-08-11)
changeset 3236079b5b3031c87
parent 32359 bc1e123295f5
child 32361 141e5151b918
updated generated document
doc-src/Codegen/Thy/document/Introduction.tex
doc-src/Codegen/Thy/examples/Example.hs
     1.1 --- a/doc-src/Codegen/Thy/document/Introduction.tex	Tue Aug 11 10:46:11 2009 +0200
     1.2 +++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Aug 11 10:58:36 2009 +0200
     1.3 @@ -229,14 +229,14 @@
     1.4  \hspace*{0pt}module Example where {\char123}\\
     1.5  \hspace*{0pt}\\
     1.6  \hspace*{0pt}\\
     1.7 -\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;\\
     1.8 +\hspace*{0pt}foldla ::~forall a b.~(a -> b -> a) -> a -> [b] -> a;\\
     1.9  \hspace*{0pt}foldla f a [] = a;\\
    1.10  \hspace*{0pt}foldla f a (x :~xs) = foldla f (f a x) xs;\\
    1.11  \hspace*{0pt}\\
    1.12  \hspace*{0pt}rev ::~forall a.~[a] -> [a];\\
    1.13  \hspace*{0pt}rev xs = foldla ({\char92}~xsa x -> x :~xsa) [] xs;\\
    1.14  \hspace*{0pt}\\
    1.15 -\hspace*{0pt}list{\char95}case ::~forall t a.~t -> (a -> [a] -> t) -> [a] -> t;\\
    1.16 +\hspace*{0pt}list{\char95}case ::~forall a b.~a -> (b -> [b] -> a) -> [b] -> a;\\
    1.17  \hspace*{0pt}list{\char95}case f1 f2 (a :~list) = f2 a list;\\
    1.18  \hspace*{0pt}list{\char95}case f1 f2 [] = f1;\\
    1.19  \hspace*{0pt}\\
     2.1 --- a/doc-src/Codegen/Thy/examples/Example.hs	Tue Aug 11 10:46:11 2009 +0200
     2.2 +++ b/doc-src/Codegen/Thy/examples/Example.hs	Tue Aug 11 10:58:36 2009 +0200
     2.3 @@ -3,14 +3,14 @@
     2.4  module Example where {
     2.5  
     2.6  
     2.7 -foldla :: forall a_1 b_1. (a_1 -> b_1 -> a_1) -> a_1 -> [b_1] -> a_1;
     2.8 +foldla :: forall a b. (a -> b -> a) -> a -> [b] -> a;
     2.9  foldla f a [] = a;
    2.10  foldla f a (x : xs) = foldla f (f a x) xs;
    2.11  
    2.12  rev :: forall a. [a] -> [a];
    2.13  rev xs = foldla (\ xsa x -> x : xsa) [] xs;
    2.14  
    2.15 -list_case :: forall t a. t -> (a -> [a] -> t) -> [a] -> t;
    2.16 +list_case :: forall a b. a -> (b -> [b] -> a) -> [b] -> a;
    2.17  list_case f1 f2 (a : list) = f2 a list;
    2.18  list_case f1 f2 [] = f1;
    2.19