diff options
| author | Thomas Bauereiss | 2017-07-26 10:39:49 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-07-26 10:39:49 +0100 |
| commit | eae4d12ad793809482252be0b459bb7e634b5482 (patch) | |
| tree | ee75d6384b1d42ad79e1bbc4f47d389cd697d04f /src/pretty_print_sail.ml | |
| parent | 0ea787cbb87e5508040d53b06bd812abc5acbb96 (diff) | |
| parent | 879ad3f2bb476abb03ad441de23efde9a9a70cd0 (diff) | |
Merge
Diffstat (limited to 'src/pretty_print_sail.ml')
| -rw-r--r-- | src/pretty_print_sail.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index e410eb4b..668e791c 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -81,7 +81,7 @@ let doc_qi (QI_aux(qi,_)) = match qi with (* typ_doc is the doc for the type being quantified *) let doc_typquant (TypQ_aux(tq,_)) typ_doc = match tq with | TypQ_no_forall -> typ_doc - | TypQ_tq [] -> failwith "TypQ_tq with empty list" + | TypQ_tq [] -> typ_doc | TypQ_tq qlist -> (* include trailing break because the caller doesn't know if tq is empty *) doc_op dot @@ -106,7 +106,7 @@ let doc_lit (L_aux(l,_)) = | L_bin n -> "0b" ^ n | L_real r -> r | L_undef -> "undefined" - | L_string s -> "\"" ^ s ^ "\"") + | L_string s -> "\"" ^ String.escaped s ^ "\"") let doc_pat, doc_atomic_pat = let rec pat pa = pat_colons pa |