| changeset 22798 | e3962371f568 |
| parent 22751 | 1bfd75c1f232 |
| child 24421 | acfb2413faa3 |
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Thu Apr 26 12:00:12 2007 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/Codegen.hs Thu Apr 26 13:32:55 2007 +0200 @@ -6,7 +6,7 @@ nulla :: a; }; -heada :: (Codegen.Null a) => [a] -> a; +heada :: (Codegen.Null b) => [b] -> b; heada (x : xs) = x; heada [] = Codegen.nulla;