diff options
| author | Christopher Pulte | 2015-10-20 14:30:22 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-20 14:30:22 +0100 |
| commit | c40168e1bb7ad2c0cb77c928a6ae25b9f2734256 (patch) | |
| tree | 3d4eec6e8c669ea60bda3a5b9ab0e4e657804ada /src/pretty_print.ml | |
| parent | 68034d3ab0210076395e86dc39a4d2c3f1938868 (diff) | |
| parent | e55f1e9e2abc48add0db89a84f2db48e3b8c88ab (diff) | |
Merge branch 'master' of https://bitbucket.org/Peter_Sewell/l2
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 322091f0..153d9a41 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1302,7 +1302,7 @@ let doc_pat_ocaml = | P_typ(typ,p) -> doc_op colon (pat p) (doc_typ_ocaml typ) | P_app(id,[]) -> doc_id_ocaml_ctor id | P_vector pats -> - let non_bit_print () = parens (separate space [string "VvectorR"; squarebars (separate_map semi pat pats); underscore ; underscore]) in + let non_bit_print () = parens (separate space [string "VvectorR"; squarebars (separate_map semi pat pats);comma; underscore ; comma; underscore]) in (match annot with | Base(([],t),_,_,_,_,_) -> if is_bit_vector t @@ -1526,7 +1526,7 @@ let doc_exp_ocaml, doc_let_ocaml = exp in_exp] | E_internal_plet (pat,e1,e2) -> - (separate space [(exp e1); string ">>= fun"; doc_atomic_pat_ocaml pat;arrow]) ^/^ + (separate space [(exp e1); string ">>= fun"; doc_pat_ocaml pat;arrow]) ^/^ exp e2 | E_internal_return (e1) -> |