GitLab

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

Documentation update.

for [print_element].

[Lr0.incoming_symbol].

This might allow the ocaml compiler to not link these modules when
--inspection is off.

symbol to an [xsymbol].

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

  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.

This guarantees the absence of name clashes.

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