open Syntax (* Linearized interpreter : eval3 *) (* Value *) type v = VNum of int | VFun of (v -> c -> t -> m -> v) | VContS of c * t | VContC of c * t and f = CApp0 of e * string list * v list | CApp1 of v | COp0 of e * string list * v list * op | COp1 of v * op and c = f list and t = TNil | Trail of (v -> t -> m -> v) and m = MNil | MCons of (c * t) * m (* to_string : v -> string *) let rec to_string value = match value with VNum (n) -> string_of_int n | VFun (_) -> "" | VContS (_) -> "" | VContC (_) -> "" (* Value.print : v -> unit *) let print exp = let str = to_string exp in print_string str