diff options
| author | Gabriel Kerneis | 2014-06-07 07:20:35 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-07 07:21:31 +0100 |
| commit | c8cdb9013fd3761ec209eb4be04aac2d14efcdb1 (patch) | |
| tree | 8186cbf70eea33ce78705ffff644a630e2c53b39 /src | |
| parent | e5d6a711c087d9e52e6ef5dd049ce875078847bd (diff) | |
Fix pretty-printing for E_vector_append
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 7ade113c..7a614c9b 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -710,8 +710,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 @@ -820,6 +820,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 *) @@ -829,7 +830,6 @@ let doc_exp, doc_let = | ">=" | ">=_s" | ">=_u" | ">" | ">_s" | ">_u" | "<=" | "<=_s" | "<" | "<_s" | "<_si" | "<_u" | "@" | "^^" | "^" | "~^" - | ":" | ">>" | ">>>" | "<<" | "<<<" | "+" | "-" | "*" | "/" |