| changeset 33707 | 68841fb382e0 |
| parent 30226 | 2f4684e2ea95 |
| child 34156 | 3a7937841585 |
--- a/doc-src/Codegen/Thy/examples/example.ML Mon Nov 16 10:03:58 2009 +0100 +++ b/doc-src/Codegen/Thy/examples/example.ML Mon Nov 16 11:03:14 2009 +0100 @@ -11,7 +11,7 @@ datatype 'a queue = AQueue of 'a list * 'a list; -val empty : 'a queue = AQueue ([], []) +val empty : 'a queue = AQueue ([], []); fun dequeue (AQueue ([], [])) = (NONE, AQueue ([], [])) | dequeue (AQueue (xs, y :: ys)) = (SOME y, AQueue (xs, ys))