diff src/errormsg.sml @ 3:daa4f1d7a663

Elaborating cons and decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 15:26:12 -0500
parents 4202f6eda946
children 8f8771f32909
line wrap: on
line diff
--- a/src/errormsg.sml	Sat Jan 26 14:27:33 2008 -0500
+++ b/src/errormsg.sml	Sat Jan 26 15:26:12 2008 -0500
@@ -43,6 +43,12 @@
 fun spanToString {file, first, last} =
     String.concat [file, ":", posToString first, "-", posToString last]
 
+val dummyPos = {line = 0,
+                char = 0}
+val dummySpan = {file = "",
+                 first = dummyPos,
+                 last = dummyPos}
+
 
 val file = ref ""
 val numLines = ref 1