Initial parsing and pretty-printing

1 files changed, 14 insertions, 0 deletions

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 0716a3df..24bc8205 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -36,4 +36,18 @@ signature ERROR_MSG = sig
 
     type 'a located = 'a * span
 
+    val posToString : pos -> string
+    val spanToString : span -> string
+
+    val resetPositioning : string -> unit
+    val newline : int -> unit
+    val lastLineStart : unit -> int
+    val posOf : int -> pos
+    val spanOf : int * int -> span
+
+    val resetErrors : unit -> unit
+    val anyErrors : unit -> bool
+    val error : string -> unit
+    val errorAt : span -> string -> unit
+    val errorAt' : int * int -> string -> unit
 end