diff src/errormsg.sig @ 1:4202f6eda946

Initial parsing and pretty-printing
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 12:35:32 -0500
parents 502c6d622477
children daa4f1d7a663
line wrap: on
line diff
--- a/src/errormsg.sig	Sat Jan 26 10:06:22 2008 -0500
+++ b/src/errormsg.sig	Sat Jan 26 12:35:32 2008 -0500
@@ -36,4 +36,18 @@
 
     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