Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
071b032e
Commit
071b032e
authored
May 09, 2017
by
POTTIER Francois
Browse files
Removed [Action.print], which was used only once. (Inlined there.)
parent
2352844c
Changes
3
Hide whitespace changes
Inline
Side-by-side
src/action.ml
View file @
071b032e
...
...
@@ -148,9 +148,6 @@ let filenames action =
let
keywords
action
=
action
.
keywords
let
print
f
action
=
Printer
.
print_expr
f
action
.
expr
let
has_syntaxerror
action
=
KeywordSet
.
mem
SyntaxError
(
keywords
action
)
...
...
src/action.mli
View file @
071b032e
...
...
@@ -63,9 +63,6 @@ val filenames: t -> string list
(** [keywords a] is the set of keywords used in the semantic action [a]. *)
val
keywords
:
t
->
KeywordSet
.
t
(** [print f a] prints [a] to channel [f]. *)
val
print
:
out_channel
->
t
->
unit
(** [from_stretch s] builds an action out of a textual piece of code. *)
val
from_stretch
:
Stretch
.
t
->
t
...
...
src/coqBackend.ml
View file @
071b032e
...
...
@@ -208,7 +208,7 @@ module Run (T: sig end) = struct
if
Settings
.
coq_no_actions
then
fprintf
f
"()"
else
Action
.
print
f
(
Production
.
action
prod
);
Printer
.
print_expr
f
(
Action
.
to_il_expr
(
Production
.
action
prod
)
)
;
fprintf
f
"
\n
)
\n
"
);
fprintf
f
" end.
\n\n
"
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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