blob: 2d5ff230e31186e3cb8287e8d869a18678bb291c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
open Printf ;;
open Interp_ast ;;
open Interp ;;
let val_to_string = function
(*
| V_boxref of nat
| V_lit of lit
| V_tuple of list value
| V_list of list value
| V_vector of nat * bool * list value (* The nat stores the first index, the bool whether that's most or least significant *)
| V_record of list (id * value)
| V_ctor of id * value
*)
| _ -> "*** value pretty-printing not implemented ***"
;;
let act_to_string = function
| Read_reg _ -> "read_reg"
| Write_reg _ -> "write_reg"
| Read_mem _ -> "read_mem"
| Write_mem _ -> "write_mem"
;;
let run (name, test) = match interp test (E_block []) with
| Value v -> eprintf "%s: returned %s\n" name (val_to_string v)
| Action (a, s) -> eprintf "%s: suspended on action %s\n" name (act_to_string a)
| Error e -> eprintf "%s: error: %s\n" name e
;;
|
