diff options
| author | Kathy Gray | 2013-09-26 12:11:25 -0400 |
|---|---|---|
| committer | Kathy Gray | 2013-09-26 12:11:25 -0400 |
| commit | 7841e635dec210e2dfc011df8e3c53d05d76141c (patch) | |
| tree | 148df128e160b7c2a512e388281f0e2c85a62308 /src/pretty_print.ml | |
| parent | b4e24ef7e0e559c0705e626e7fed53b9f2224c0b (diff) | |
Adding undefined
Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index bcc5961d..0612d78b 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -166,6 +166,7 @@ let pp_format_lit (L_aux(l,_)) = | L_false -> "false" | L_num(i) -> string_of_int i | L_hex(n) | L_bin(n) -> n + | L_undef -> "undefined" | L_string(s) -> "\"" ^ s ^ "\"" let pp_lit ppf l = base ppf (pp_format_lit l) @@ -456,6 +457,7 @@ let pp_format_lit_lem (L_aux(l,_)) = | L_num(i) -> "(L_num " ^ string_of_int i ^ ")" | L_hex(n) -> "(L_hex " ^ n ^ ")" | L_bin(n) -> "(L_bin " ^ n ^ ")" + | L_undef -> "L_undef" | L_string(s) -> "(L_string \"" ^ s ^ "\")" let pp_lem_lit ppf l = base ppf (pp_format_lit_lem l) |