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
Why3
why3
Commits
b388193c
Commit
b388193c
authored
Aug 26, 2016
by
Guillaume Melquiond
Browse files
Properly parenthesize set-field operations in ocaml extraction.
parent
5752c4cc
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/whyml/mlw_ocaml.ml
View file @
b388193c
...
...
@@ -969,7 +969,7 @@ module Print = struct
fprintf
fmt
"%a.%a"
(
print_expr_p
info
)
e
(
print_lident
info
)
f
|
Esetfield
(
e1
,
f
,
e2
)
->
fprintf
fmt
(
protect_on
paren
"%a.%a <- %a"
)
(
print_expr
info
)
e1
(
print_lident
info
)
f
(
print_expr
info
)
e2
(
print_expr
_p
info
)
e1
(
print_lident
info
)
f
(
print_expr
info
)
e2
|
Eblock
[]
->
fprintf
fmt
"()"
|
Eblock
[
e
]
->
...
...
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