mysql: revoke permissions when dropping database
[hcoop/domtool2.git] / src / errormsg.sig
... / ...
CommitLineData
1(* This file comes mostly from "Modern Compiler Implementation in ML," by Andrew Appel
2 * http://www.cs.princeton.edu/~appel/modern/ml/
3 *)
4
5signature ERRORMSG =
6 sig
7 val reset : unit -> unit
8
9 val anyErrors : bool ref
10
11 val fileName : string ref
12 val sourceStream : TextIO.instream ref
13
14 val lineNum : int ref
15 val linePos : int list ref
16
17 val error : (int * int) option -> string -> unit
18 val warning : (int * int) option -> string -> unit
19
20 val dummyLoc : int * int
21
22 exception Error
23end