Mercurial > urweb
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