inspectionTableInterpreter.mli 901 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
(* This functor is invoked inside the generated parser, in [--table] mode. It
   produces no code! It simply constructs the types [symbol] and [xsymbol] on
   top of the generated types [terminal] and [nonterminal]. *)

module Symbols (T : sig

  type 'a terminal
  type 'a nonterminal

end)

: IncrementalEngine.SYMBOLS
  with type 'a terminal := 'a T.terminal
   and type 'a nonterminal := 'a T.nonterminal

16 17 18 19
(* This functor is invoked inside the generated parser, in [--table] mode. It
   constructs the inspection API on top of the inspection tables described in
   [InspectionTableFormat]. *)

20 21 22 23
module Make
  (B : TableFormat.TABLES)
  (T : InspectionTableFormat.TABLES
       with type 'a lr1state = int)
24 25

: IncrementalEngine.INSPECTION
26
  with type 'a terminal := 'a T.terminal
27
   and type 'a nonterminal := 'a T.nonterminal
28
   and type 'a lr1state := 'a T.lr1state
29 30
   and type production := int