diff options
| author | Christopher Pulte | 2015-10-05 23:10:06 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2015-10-05 23:10:06 +0100 |
| commit | b0c3b70ea6645cd8d172ffadc8e7877d7b88028a (patch) | |
| tree | 613b3cf57aa51b25e324f23909265fedb8a484c8 /src/pretty_print.ml | |
| parent | 62696d2137c61773822a6774fd035bed08a12416 (diff) | |
made vector_concat pass remove typ annotation expression inside vector_concat patterns, fixed a pp missing newline
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 0b776585..068f16a2 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -1614,7 +1614,7 @@ let doc_fundef_ocaml (FD_aux(FD_function(r, typa, efa, fcls),_)) = match fcls with | [] -> failwith "FD_function with empty function list" | [FCL_aux (FCL_Funcl(id,pat,exp),_)] -> - separate space [(string "let"); (doc_rec_ocaml r); (doc_id_ocaml id); (doc_pat_ocaml pat); equals; (doc_exp_ocaml exp)] + (separate space [(string "let"); (doc_rec_ocaml r); (doc_id_ocaml id); (doc_pat_ocaml pat); equals]) ^^ hardline ^^ (doc_exp_ocaml exp) | _ -> let id = get_id fcls in let sep = hardline ^^ pipe ^^ space in |