Pretty-print interpeter values

1 files changed, 36 insertions, 11 deletions

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 2d5ff230..d28cb0d6 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -2,17 +2,42 @@ 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 lit_to_string = function
+ | L_unit -> "unit"
+ | L_zero -> "bitzero"
+ | L_one -> "bitone"
+ | L_true -> "true"
+ | L_false -> "false"
+ | L_num n -> string_of_int n
+ | L_hex s -> s
+ | L_bin s -> s
+ | L_undef -> "undefined"
+ | L_string s -> "\"" ^ s ^ "\""
+;;
+
+let id_to_string = function
+  | Id s | DeIid s -> s
+;;
+
+let rec val_to_string = function
+ | V_boxref n -> sprintf "boxref %d" n
+ | V_lit l -> sprintf "literal %s" (lit_to_string l)
+ | V_tuple l ->
+     let repr = String.concat ", " (List.map val_to_string l) in
+     sprintf "tuple (%s)" repr
+ | V_list l ->
+     let repr = String.concat "; " (List.map val_to_string l) in
+     sprintf "list [%s]" repr
+ | V_vector (first_index, msb, l) ->
+     let order = if msb then "big-endian" else "little-endian" in
+     let repr = String.concat "; " (List.map val_to_string l) in
+     sprintf "vector [%s] (%s, from %d)" repr order first_index
+ | V_record l ->
+     let pp (id, value) = sprintf "%s = %s" (id_to_string id) (val_to_string value) in
+     let repr = String.concat "; " (List.map  pp l) in
+     sprintf "record {%s}" repr
+ | V_ctor (id, value) ->
+     sprintf "constructor %s %s" (id_to_string id) (val_to_string value)
 ;;
 
 let act_to_string = function