interpret.mli 942 Bytes
Newer Older
1 2 3 4 5 6 7 8 9
(* This module is in charge of handling several command line options, namely
   [--interpret], [--interpret-error], [--compile-errors], [--compare-errors].
   If any of these options is present, the execution of Menhir stops here. *)

(* This default error message is produced by [--list-errors] when it creates a
   [.messages] file, and is recognized by [--compare-errors] when it compares
   two such files. *)

val default_message: string
10

11
(* [print_messages_item] displays one data item. The item is of the form [nt,
12 13 14 15
   sentence, target], which means that beginning at the start symbol [nt], the
   sentence [sentence] ends in an error in the target state given by [target].
   [target] also contains information about which spurious reductions are
   performed at the end. The display obeys the [.messages] file format. *)
16 17 18

open Grammar

19 20
val print_messages_item:
  Nonterminal.t * Terminal.t list * ReferenceInterpreter.target -> unit
21