https://github.com/FujiiMaika/fscd21.git
20 March 2023, 04:44:01 UTC
Revision 521af9c0dd94b169eb02f41aa19d3e01c558f355 authored by Maika Fujii on 24 June 2021, 05:55:35 UTC, committed by GitHub on 24 June 2021, 05:55:35 UTC 
Update README.md
1 parent c230735
Raw File
Tip revision: 521af9c0dd94b169eb02f41aa19d3e01c558f355 authored by Maika Fujii on 24 June 2021, 05:55:35 UTC
Update README.md
Tip revision: 521af9c
value.ml 
open Syntax

(* Interpreter with linearized trails : eval11 *)

(* Value *)
type v = VNum of int
       | VFun of c * v list
       | VContS of t
       | VContC of t
       | VEnv of v list
       | VK of c

and i = INum of int | IAccess of int
      | IPush_closure of c | IReturn
      | IPush_env | IPop_env | IOp of op | ICall
      | IShift of c | IControl of c
      | IShift0 of c | IControl0 of c
      | IReset of c

and c = i list

and s = v list

and t = (c * s) list

and m = t list


(* 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>"
  | VK (_) -> "<VK>"

(* Value.print : v -> unit *)
let print exp =
  let str = to_string exp in
  print_string str
back to top