GitLab

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].

Renamed to [listif] and [elementif].

  defined at different places in the generated file (in order to avoid
  name clashes, and for clarity).

The type env no longer needs to be parameterized.
This makes the API safe (and simpler).
There a slight runtime cost (e.g., from 4.6s to 4.7 seconds).

This seems to cause roughly a 10% speed loss (e.g. from 4.3 to 4.6 seconds).
The current interface is not satisfactory, as it allows the user to
manufacture a continuation that will break our invariants and lead
to a crash.