Mercurial > urweb

comparison src/errormsg.sml @ 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 8f8771f32909
comparison
equal deleted inserted replaced
2:64f09f7822c3 3:daa4f1d7a663
40 fun posToString {line, char} = 40 fun posToString {line, char} =
41 String.concat [Int.toString line, ":", Int.toString char] 41 String.concat [Int.toString line, ":", Int.toString char]
42 42
43 fun spanToString {file, first, last} = 43 fun spanToString {file, first, last} =
44 String.concat [file, ":", posToString first, "-", posToString last] 44 String.concat [file, ":", posToString first, "-", posToString last]
45
46 val dummyPos = {line = 0,
47 char = 0}
48 val dummySpan = {file = "",
49 first = dummyPos,
50 last = dummyPos}
45 51
46 52
47 val file = ref "" 53 val file = ref ""
48 val numLines = ref 1 54 val numLines = ref 1
49 val lines : int list ref = ref [] 55 val lines : int list ref = ref []