diff options
| author | Kathy Gray | 2014-11-23 16:32:48 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-23 16:33:03 +0000 |
| commit | 488587ef0c9d6ff5ef35692510e8cf30bcad4fed (patch) | |
| tree | 0c856f982420e8a8318f1ce7de0caf5ee7e0bd1c /src | |
| parent | adb18ab321740919fa66967bae4705996f602525 (diff) | |
instruction printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index a8eebf97..adb04d02 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -397,8 +397,7 @@ let rec instr_parms_to_string ps = let pad n s = if String.length s < n then s ^ String.make (n-String.length s) ' ' else s let instruction_to_string (name, parms, base_effects) = - raise (Failure "TODO instruction_to_string") -(* (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms *) + (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms let print_backtrace_compact printer stack = List.iter (fun (e,(env,mem)) -> print_exp printer env e) (compact_stack stack) let print_continuation printer stack = let (e,(env,mem)) = top_frame_exp_state stack in print_exp printer env e |