diff options
| author | Alasdair Armstrong | 2017-08-07 13:55:50 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-07 13:55:50 +0100 |
| commit | dc0cf7ad73b21b3f787eb2de3b370b64ca264429 (patch) | |
| tree | 6c1d74b2f47f1cc23c9d22be96c1b3174693e427 /src | |
| parent | 12db2a2c56cbfd0028bffe2df7740ace21f5717a (diff) | |
Fixed pretty printing of E_cons
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print_common.ml | 1 | ||||
| -rw-r--r-- | src/pretty_print_sail.ml | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/pretty_print_common.ml b/src/pretty_print_common.ml index 52c3753a..39c5d97d 100644 --- a/src/pretty_print_common.ml +++ b/src/pretty_print_common.ml @@ -46,6 +46,7 @@ open PPrint let pipe = string "|" let arrow = string "->" let dotdot = string ".." +let coloncolon = string "::" let coloneq = string ":=" let lsquarebar = string "[|" let rsquarebar = string "|]" diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml index 668e791c..4428bb62 100644 --- a/src/pretty_print_sail.ml +++ b/src/pretty_print_sail.ml @@ -130,7 +130,7 @@ let doc_pat, doc_atomic_pat = | P_vector_indexed ipats -> brackets (separate_map comma_sp npat ipats) | P_tup pats -> parens (separate_map comma_sp atomic_pat pats) | P_list pats -> squarebarbars (separate_map semi_sp atomic_pat pats) - | P_cons (pat1, pat2) -> separate space [atomic_pat pat1; string "::"; pat pat2] + | P_cons (pat1, pat2) -> separate space [atomic_pat pat1; coloncolon; pat pat2] | P_app(_, _ :: _) | P_vector_concat _ -> group (parens (pat pa)) and fpat (FP_aux(FP_Fpat(id,fpat),_)) = doc_op equals (doc_id id) (pat fpat) @@ -168,7 +168,7 @@ let doc_exp, doc_let = | 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) + doc_op coloncolon (shift_exp l) (cons_exp r) | _ -> shift_exp expr and shift_exp ((E_aux(e,_)) as expr) = match e with | E_app_infix(l,(Id_aux(Id (">>" | ">>>" | "<<" | "<<<"),_) as op),r) -> |