GitLab

This reverts commit fc203a594b2d68f40b18966550e9c23460fc20e9.

   If the programmer did not provide a name [_i] is used (where [i] is
   the producer's position in the right hand side).

   This syntax modification actually simplifies the code:
   - There is no more on-the-fly naming of unnamed arguments.
   - Inlining is no more restricted to semantic actions that do not use $i.

   The patch is large because:
   - This change has an impact on many modules.
   - The expected results of the bench had to be updated.

Action: Use [Set.of_list].

plus a comment on compatibility with ocamlyacc
when there are end-of-stream conflicts.

Conflicts:
	TODO

There remains to document this feature and to produce better names.

May wish to move to ocamlbuild in the future.

No observable impact.

Not useful in practice; preparation for further changes.

Documentation update.

README update.

  (Even though at least cutdown would deserve investigation.)