blob: ecae28ef0ac8d2b5baae1b5b7fb31bc262da0f27 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
module E = Errormsg
(* We provide here a pointer to a function. It will be set by the lexer and
* used by the parser. In Ocaml lexers depend on parsers, so we we have put
* such functions in a separate module. *)
let add_identifier: (string -> unit) ref =
ref (fun _ -> E.s (E.bug "You called an uninitialized add_identifier"))
let add_type: (string -> unit) ref =
ref (fun _ -> E.s (E.bug "You called an uninitialized add_type"))
let push_context: (unit -> unit) ref =
ref (fun _ -> E.s (E.bug "You called an uninitialized push_context"))
let pop_context: (unit -> unit) ref =
ref (fun _ -> E.s (E.bug "You called an uninitialized pop_context"))
(* Keep here the current pattern for formatparse *)
let currentPattern = ref ""
|