diff options
| author | Jonathan French | 2017-07-26 11:38:39 +0000 |
|---|---|---|
| committer | Jonathan French | 2017-07-26 11:38:39 +0000 |
| commit | 18cf235fad35a0e06e26ea91ee0e1c673febddb8 (patch) | |
| tree | 60514356175ebfbc0d2d24f70137fffcb8aba0e6 /src/lem_interp/printing_functions.mli | |
| parent | 2e1ca2e6b77b285168223263e747396ad01cb993 (diff) | |
| parent | 24469b4fda9ef14c7717aac415a398da29e8fbd0 (diff) | |
Merged in ojno/sail (pull request #1)
Footprint exhaustive evaluation fixes
Approved-by: Jonathan French <me@jonathanfrench.net>
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index f629a307..85744d61 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -10,7 +10,7 @@ val loc_to_string : l -> string val get_loc : tannot exp -> string (*interp_interface.value to string*) val reg_value_to_string : register_value -> string -val val_to_string_internal : Interp.lmem -> Interp.value -> string +val val_to_string_internal : Interp.lmem -> Interp_ast.value -> string (*(*Force all representations to hex strings instead of a mixture of hex and binary strings*) val val_to_hex_string : value0 -> string*) @@ -19,7 +19,7 @@ val reg_name_to_string : reg_name -> string (* format the register dependencies *) val dependencies_to_string : reg_name list -> string (* formats an expression, using interp_pretty *) -val exp_to_string : Interp.lenv -> bool -> tannot exp -> string +val exp_to_string : Interp.lenv -> Interp.lmem -> bool -> tannot exp -> string (* Functions to set the color of parts of the output *) type ppmode = @@ -55,7 +55,7 @@ val local_variables_to_string : instruction_state -> string val instruction_to_string : instruction -> string (*Functions to take a print function and cause a print event for the above functions *) -val print_exp : (string-> unit) -> Interp.lenv -> bool -> tannot exp -> unit +val print_exp : (string-> unit) -> Interp.lenv -> Interp.lmem -> bool -> tannot exp -> unit val print_backtrace_compact : (string -> unit) -> instruction_state -> unit val print_continuation : (string -> unit) -> instruction_state -> unit val print_instruction : (string -> unit) -> instruction -> unit |