--- a/doc-src/Codegen/Thy/examples/Example.hs Tue Jun 29 07:55:18 2010 +0200
+++ b/doc-src/Codegen/Thy/examples/Example.hs Tue Jun 29 11:25:03 2010 +0200
@@ -2,10 +2,6 @@
module Example where {
-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;
-
data Queue a = AQueue [a] [a];
empty :: forall a. Queue a;
@@ -16,7 +12,7 @@
dequeue (AQueue xs (y : ys)) = (Just y, AQueue xs ys);
dequeue (AQueue (v : va) []) =
let {
- (y : ys) = rev (v : va);
+ (y : ys) = reverse (v : va);
} in (Just y, AQueue [] ys);
enqueue :: forall a. a -> Queue a -> Queue a;