Commit b467dc4b authored by POTTIER Francois's avatar POTTIER Francois

Temporarily disable `epsilon`,

as we need to annotate it with `%unreachable`
to declare that it is okay if it is unreachable.
parent 48c2c888
......@@ -2,7 +2,7 @@
## 2018/10/05
* Standard library: add `epsilon`, `rev`, `flatten`, `append`.
* Standard library: add `rev`, `flatten`, `append`.
Add a link from the manual to `standard.mly` in the repository.
* Update the manual to explain how to use `dune` and `menhir` together.
......
......@@ -1039,8 +1039,8 @@ recognized.
\begin{tabular}{lp{51mm}l@{}l}
Name & Recognizes & Produces & Comment \\
\hline\\
\nt{epsilon} & $\epsilon$ & \basic{unit} & (inlined) \\
\\
% \nt{epsilon} & $\epsilon$ & \basic{unit} & (inlined) \\
% \\
\nt{endrule}(\nt{X}) & \nt{X} & $\alpha$, if \nt{X} : $\alpha$ & (inlined) \\
\nt{midrule}(\nt{X}) & \nt{X} & $\alpha$, if \nt{X} : $\alpha$ \\
\\
......
......@@ -147,12 +147,17 @@ x = X
(* Sequences. *)
(* [epsilon] recognizes the empty word. It can be used instead of the
traditional /* empty */ comment. (20181005) *)
traditional /* empty */ comment. *)
(* NOT YET ADDED because we first need to remove the limitation that
every symbol must be reachable from the start symbol!
%public %inline epsilon:
/* empty */
{ () }
*)
(* [pair(X, Y)] recognizes the sequence [X Y]. It produces a value of
type ['a * 'b] if [X] and [Y] produce values of type ['a] and ['b],
respectively. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment