GitLab

It is a more compact encoding of the table of productions.

It is not useful, but should not cost much, and is more regular.

We simply associate an empty right-hand side with the start productions.

was no longer needed.

composed with the function [nonterminal].

symbol to its representation as an [xsymbol].

symbol to an [xsymbol].

I had forgotten it until now.

This should fix an old bug where the user prelude could hide [Error].

Things are reasonably clean now.

  to support --inspection.
The signature IncrementalEngine.INSPECTION documents what the user sees.
The signature TableFormat.INSPECTION_TABLES documents what we generate.
The functor TableInterpreter.MakeInspection bridges the gap.

[Error] and of the type [token] by defining an internal submodule and
including it where appropriate (twice).

The closing delimiter in records and arrays is now correctly indented.

The final [end] in a signature or structure should now be correctly
indented. :-)

This guarantees the absence of name clashes.

This guarantees the absence of name clashes.

cannot be generated because the type of some nonterminal symbol is unknown.

Replaced a few redundant tests [if Settings.table then ...]
with assertions [assert Settings.table].