From e0a8e775a4c1e12debb2a3fa458007340685dc9d Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 15:26:12 -0500
Subject: Elaborating cons and decls

---
 src/errormsg.sml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/errormsg.sml')

diff --git a/src/errormsg.sml b/src/errormsg.sml
index 0f5b9b61..e816b9a2 100644
--- a/src/errormsg.sml
+++ b/src/errormsg.sml
@@ -43,6 +43,12 @@ fun posToString {line, char} =
 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
-- 
cgit v1.2.3