interface.mli 756 Bytes
Newer Older
1 2 3 4 5 6 7 8
(* This module defines the interface of the generated parser. *)

(* This is the [Error] exception. *)

val excname: string
val excdef: IL.excdef
val excredef: IL.excdef

9
(* The type of the entry point for the start symbol [nt]. *)
10

11
val entrytypescheme: UnparameterizedSyntax.grammar -> string -> IL.typescheme
12

13 14 15 16 17 18 19 20 21
(* The name of the interpreter sub-module, when the table back-end
   is used. *)

val interpreter: string

(* The type ['a result], defined in the interpreter sub-module. *)

val result: IL.typ -> IL.typ

22
(* The name of the sub-module that contains the incremental entry points. *)
23

24
val incremental: string
25

26
(* This writes the interface of the generated parser to the [.mli] file. *)
27

28
val write: UnparameterizedSyntax.grammar -> unit -> unit
29