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
b689d803
Commit
b689d803
authored
Dec 11, 2014
by
POTTIER Francois
Browse files
Generate a comment about the type [token] only if this type exists!
parent
95d95c98
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/interface.ml
View file @
b689d803
...
...
@@ -82,10 +82,16 @@ let table_interface =
(* This is the interface of the generated parser. *)
let
tokentypedef
=
match
tokentypedef
with
|
[]
->
[]
|
_
->
[
IIComment
"The type of tokens."
;
IITypeDecls
tokentypedef
]
let
interface
=
[
IIFunctor
(
PreFront
.
grammar
.
parameters
,
[
IIComment
"The type of tokens."
;
IITypeDecls
tokentypedef
;
IIFunctor
(
PreFront
.
grammar
.
parameters
,
tokentypedef
@
[
IIComment
"This exception is raised by the monolithic API functions."
;
IIExcDecls
[
excdef
];
IIComment
"The monolithic API."
;
...
...
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