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
344ff5e8
Commit
344ff5e8
authored
Sep 21, 2015
by
POTTIER Francois
Browse files
Added [Terminal.real].
parent
2b30ceca
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/grammar.ml
View file @
344ff5e8
...
...
@@ -195,6 +195,9 @@ module Terminal = struct
let
pseudo
tok
=
(
tok
=
sharp
)
||
(
tok
=
error
)
let
real
t
=
error
<>
t
&&
t
<>
sharp
let
token_properties
=
let
not_so_dummy_properties
=
(* applicable to [error] and [#] *)
{
...
...
src/grammar.mli
View file @
344ff5e8
...
...
@@ -138,10 +138,10 @@ module Terminal : sig
val
eof
:
t
option
(* This returns [true] if and only if the token at hand is one of
[#] or [error]. *)
(* A terminal symbol is pseudo if it is [#] or [error]. It is real otherwise. *)
val
pseudo
:
t
->
bool
val
real
:
t
->
bool
(* Iteration over terminals. The order in which elements are
examined, and the order of [map]'s output list, correspond to the
...
...
@@ -155,8 +155,7 @@ module Terminal : sig
val
mapx
:
(
t
->
'
a
)
->
'
a
list
(* [iter_real] offers iteration over all real terminals, i.e. all
terminals except [error] and [#]. *)
(* [iter_real] offers iteration over all real terminals. *)
val
iter_real
:
(
t
->
unit
)
->
unit
...
...
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