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
087f90ad
Commit
087f90ad
authored
Mar 30, 2014
by
MARCHE Claude
Browse files
[interp] pretty-print tuples
parent
02ea4c94
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/whyml/mlw_interp.ml
View file @
087f90ad
...
...
@@ -77,6 +77,9 @@ let rec print_value fmt v =
i
:=
BigInt
.
succ
!
i
done
;
fprintf
fmt
"]@]"
|
Vapp
(
ls
,
vl
)
when
is_fs_tuple
ls
->
fprintf
fmt
"@[(%a)@]"
(
Pp
.
print_list
Pp
.
comma
print_value
)
vl
|
Vapp
(
ls
,
vl
)
->
fprintf
fmt
"@[%a(%a)@]"
Pretty
.
print_ls
ls
(
Pp
.
print_list
Pp
.
comma
print_value
)
vl
...
...
@@ -1017,7 +1020,7 @@ let find_definition env ps =
Some
(
Mps
.
find
ps
env
.
funenv
)
with
Not_found
->
Mlw_decl
.
find_definition
env
.
mknown
ps
Mlw_decl
.
find_definition
env
.
mknown
ps
(* evaluate expressions *)
...
...
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