Revision c2307351f20b1ed3d8532d0db1ec9ece6c6fb8b8 authored by Maika Fujii on 24 June 2021, 05:54:25 UTC, committed by GitHub on 24 June 2021, 05:54:25 UTC
1 parent 583c7de
value.ml
open Syntax
(* Delinearized interpreter : eval5 *)
(* Value *)
type v = VNum of int
| VFun of (v -> c -> s -> t -> m -> v)
| VContS of c * s * t
| VContC of c * s * t
| VEnv of v list
and c = C0
| CApp0 of e * string list * c
| CApp1 of c
| COp0 of e * string list * op * c
| COp1 of op * c
and s = v list
and t = TNil | Trail of (v -> t -> m -> v)
and m = MNil | MCons of (c * s * t) * m
(* to_string : v -> string *)
let rec to_string value = match value with
VNum (n) -> string_of_int n
| VFun (_) -> "<VFun>"
| VContS (_) -> "<VContS>"
| VContC (_) -> "<VContC>"
| VEnv (_) -> "<VEnv>"
(* Value.print : v -> unit *)
let print exp =
let str = to_string exp in
print_string str
Computing file changes ...