Commit | Line | Data |
---|---|---|
42198578 AC |
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 | ||
5 | signature ERRORMSG = | |
6 | sig | |
7 | val reset : unit -> unit | |
8 | ||
9 | val anyErrors : bool ref | |
42198578 AC |
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 | |
b21491de | 18 | val warning : (int * int) option -> string -> unit |
42198578 AC |
19 | |
20 | val dummyLoc : int * int | |
21 | ||
22 | exception Error | |
23 | end |