--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml Tue Oct 16 17:06:21 2007 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml Tue Oct 16 17:07:40 2007 +0200
@@ -14,9 +14,11 @@
let rec head _B = function x :: xs -> x
| [] -> null _B;;
-let null_option () = ({null = None} : ('a option) null);;
+let rec null_option = None;;
+
+let null_optiona () = ({null = null_option} : ('a option) null);;
let rec dummy
- = head (null_option ()) [Some (Nat.Suc Nat.Zero_nat); None];;
+ = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];;
end;; (*struct Codegen*)