diff options
| author | Gabriel Kerneis | 2014-06-07 07:23:55 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-07 07:23:55 +0100 |
| commit | ea0d188df9884f99489d985bcaf77eb04eff10be (patch) | |
| tree | 82305b2d151fc487506f9c2aeb0be4a06c4115b9 /src | |
| parent | c8cdb9013fd3761ec209eb4be04aac2d14efcdb1 (diff) | |
Fix E_vector_append in interp pretty-printer
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/pretty_interp.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/pretty_interp.ml b/src/lem_interp/pretty_interp.ml index cab4b745..7740b149 100644 --- a/src/lem_interp/pretty_interp.ml +++ b/src/lem_interp/pretty_interp.ml @@ -237,8 +237,8 @@ let doc_exp, doc_let = doc_op (doc_id op) (cons_exp l) (at_exp r) | _ -> cons_exp expr and cons_exp ((E_aux(e,_)) as expr) = match e with - | E_app_infix(l,(Id_aux(Id (":"),_) as op),r) -> - doc_op (doc_id op) (shift_exp l) (cons_exp r) + | E_vector_append(l,r) -> + doc_op colon (shift_exp l) (cons_exp r) | E_cons(l,r) -> doc_op colon (shift_exp l) (cons_exp r) | _ -> shift_exp expr @@ -341,6 +341,7 @@ let doc_exp, doc_let = | E_app (_, _)|E_vector_access (_, _)|E_vector_subrange (_, _, _) | E_cons (_, _)|E_field (_, _)|E_assign (_, _) | E_if _ | E_for _ | E_let _ + | E_vector_append _ | E_app_infix (_, (* for every app_infix operator caught at a higher precedence, * we need to wrap around with parens *) @@ -350,7 +351,6 @@ let doc_exp, doc_let = | ">=" | ">=_s" | ">=_u" | ">" | ">_s" | ">_u" | "<=" | "<=_s" | "<" | "<_s" | "<_si" | "<_u" | "@" | "^^" | "^" | "~^" - | ":" | ">>" | ">>>" | "<<" | "<<<" | "+" | "-" | "*" | "/" |