https://github.com/FujiiMaika/fscd21.git
Tip revision: 521af9c0dd94b169eb02f41aa19d3e01c558f355 authored by Maika Fujii on 24 June 2021, 05:55:35 UTC
Update README.md
Update README.md
Tip revision: 521af9c
value.ml
open Syntax
(* Definitional interpreter for lambda-calculus with 4 delimited-control operators : eval1 *)
(* Value *)
type v = VNum of int
| VFun of (v -> c -> t -> m -> v)
| VContS of c * t
| VContC of c * t
and c = v -> t -> m -> v
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 (_) -> "<VFun>"
| VContS (_) -> "<VContS>"
| VContC (_) -> "<VContC>"
(* Value.print : v -> unit *)
let print exp =
let str = to_string exp in
print_string str