Mercurial > urweb

diff src/errormsg.sig @ 3:daa4f1d7a663

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating cons and decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 15:26:12 -0500
parents 4202f6eda946
children
line wrap: on
line diff
--- a/src/errormsg.sig	Sat Jan 26 14:27:33 2008 -0500
+++ b/src/errormsg.sig	Sat Jan 26 15:26:12 2008 -0500
@@ -39,6 +39,9 @@
     val posToString : pos -> string
     val spanToString : span -> string
 
+    val dummyPos : pos
+    val dummySpan : span
+
     val resetPositioning : string -> unit
     val newline : int -> unit
     val lastLineStart : unit -> int