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
9eddb2e6
Commit
9eddb2e6
authored
Nov 10, 2015
by
POTTIER Francois
Browse files
Expose [first_symbol].
parent
f777acc2
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/grammarFunctor.ml
View file @
9eddb2e6
...
...
@@ -1372,6 +1372,8 @@ module Analysis = struct
let
first
=
FIRST
.
nonterminal
let
first_symbol
=
FIRST
.
symbol
(* An initial definition of [nullable_first_prod]. *)
let
nullable_first_prod
prod
i
=
...
...
src/grammarFunctor.mli
View file @
9eddb2e6
...
...
@@ -438,6 +438,7 @@ module Analysis : sig
(* [first nt] is the FIRST set of the non-terminal symbol [nt]. *)
val
first
:
Nonterminal
.
t
->
TerminalSet
.
t
val
first_symbol
:
Symbol
.
t
->
TerminalSet
.
t
(* [nullable_first_prod prod i] considers the suffix of the production
[prod] defined by offset [i]. It returns its NULLABLE flag as well
...
...
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