author | wenzelm |
Tue, 16 Oct 2007 17:07:40 +0200 | |
changeset 25056 | 743f3603ba8b |
parent 24628 | 33137422d7fd |
child 25182 | 64e3f45dc6f4 |
permissions | -rw-r--r-- |
module Nat = struct type nat = Suc of nat | Zero_nat;; end;; (*struct Nat*) module Codegen = struct type 'a null = {null : 'a};; let null _A = _A.null;; let rec head _B = function x :: xs -> x | [] -> null _B;; let rec null_option = None;; let null_optiona () = ({null = null_option} : ('a option) null);; let rec dummy = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];; end;; (*struct Codegen*)