interface.mli 766 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 22 23 24 25
(* 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

(* The name of the incremental entry point for the start symbol [symbol]. *)

val incremental: string -> string

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

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