diff options
| author | Pierre-Marie Pédrot | 2019-11-13 15:20:55 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-13 15:20:55 +0100 |
| commit | b9def53df5a69d5d4dbf46bd846281220b4fe1db (patch) | |
| tree | 45033df823d49f98485f3eede15c4e89398924cd /printing | |
| parent | dde10a9b2512ffc7e941c79bbc442c5b4b1f45f9 (diff) | |
| parent | 1e5bae9d78192e3f0c5d7e25ab7e64fdc605316f (diff) | |
Merge PR #11094: Miscellaneous micro-improvements of the syntax of records
Reviewed-by: ppedrot
Diffstat (limited to 'printing')
| -rw-r--r-- | printing/ppconstr.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml index 5ed96dd5e3..2da163b8ee 100644 --- a/printing/ppconstr.ml +++ b/printing/ppconstr.ml @@ -249,7 +249,8 @@ let tag_var = tag Tag.variable let pp (c, p) = pr_reference c ++ spc() ++ str ":=" ++ pr_patt spc (lpatrec, Any) p in - str "{| " ++ prlist_with_sep pr_semicolon pp l ++ str " |}", lpatrec + (if l = [] then str "{| |}" + else str "{| " ++ prlist_with_sep pr_semicolon pp l ++ str " |}"), lpatrec | CPatAlias (p, na) -> pr_patt mt (las,E) p ++ str " as " ++ pr_lname na, las |