Commit c3384297 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

The table [lhs] is now available also to [TableInterpreter.MakeInspection].

parent 0b84efed
......@@ -954,6 +954,7 @@ let program =
interface_to_structure [
lr1state_redef;
] @
SIInclude (MVar tables) :: (* only for [lhs] *)
SIValDefs (false,
incoming_symbol_def() ::
production_defs() ::
......
......@@ -127,6 +127,8 @@ module type INSPECTION_TABLES = sig
type 'a symbol
type xsymbol
val lhs: PackedIntArray.t
(* A mapping of every (non-initial) state to its incoming symbol. *)
val symbol: 'a lr1state -> 'a symbol
......
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