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
06485b88
Commit
06485b88
authored
Mar 24, 2010
by
Andrei Paskevich
Browse files
print correct newlines in Pretty
parent
229e9014
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/pretty.ml
View file @
06485b88
...
...
@@ -347,16 +347,16 @@ let print_tdecl fmt = function
print_th
th
(
print_list
comma
print_inst
)
inst
let
print_decls
fmt
dl
=
fprintf
fmt
"@[<hov>%a@
\n
@]
"
(
print_list
newline2
print_decl
)
dl
fprintf
fmt
"@[<hov>%a@
]@.
"
(
print_list
newline2
print_decl
)
dl
let
print_task
fmt
task
=
print_decls
fmt
(
task_decls
task
)
let
print_theory
fmt
th
=
fprintf
fmt
"@[<hov 2>theory %a@
\n
%a@]@
\n
end@
\n
@
."
fprintf
fmt
"@[<hov 2>theory %a@
\n
%a@]@
\n
end@."
print_th
th
(
print_list
newline2
print_tdecl
)
th
.
th_decls
let
print_named_task
fmt
name
task
=
fprintf
fmt
"@[<hov 2>task %s@
\n
%a@]@
\n
end@
\n
@
."
fprintf
fmt
"@[<hov 2>task %s@
\n
%a@]@
\n
end@."
name
print_task
task
module
NsTree
=
struct
...
...
@@ -379,5 +379,5 @@ end
let
print_namespace
fmt
name
ns
=
let
module
P
=
Prtree
.
Make
(
NsTree
)
in
P
.
print
fmt
(
NsTree
.
Namespace
(
name
,
ns
))
f
print
f
fmt
"@[<hov>%a@]@."
P
.
print
(
NsTree
.
Namespace
(
name
,
ns
))
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