Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
73107c3f
Commit
73107c3f
authored
Nov 04, 2015
by
POTTIER Francois
Browse files
Print {} instead of {()}.
parent
1a89c018
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/unparameterizedPrinter.ml
View file @
73107c3f
...
...
@@ -134,10 +134,10 @@ let print_branch mode f branch =
(
Misc
.
o2s
branch
.
branch_prec_annotation
(
fun
x
->
" %prec "
^
x
.
value
));
begin
match
mode
with
|
PrintNormal
->
Action
.
print
f
branch
.
action
Action
.
print
f
branch
.
action
|
PrintUnitActions
|
PrintUnitActionsUnitTokens
->
Printf
.
fprintf
f
"()"
()
(* Printing a pair of empty braces is fine. *)
end
;
Printf
.
fprintf
f
"}
\n
"
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment