Mercurial > urweb
comparison src/errormsg.sig @ 3:daa4f1d7a663
Elaborating cons and decls
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Jan 2008 15:26:12 -0500 |
parents | 4202f6eda946 |
children |
comparison
equal
deleted
inserted
replaced
2:64f09f7822c3 | 3:daa4f1d7a663 |
---|---|
37 type 'a located = 'a * span | 37 type 'a located = 'a * span |
38 | 38 |
39 val posToString : pos -> string | 39 val posToString : pos -> string |
40 val spanToString : span -> string | 40 val spanToString : span -> string |
41 | 41 |
42 val dummyPos : pos | |
43 val dummySpan : span | |
44 | |
42 val resetPositioning : string -> unit | 45 val resetPositioning : string -> unit |
43 val newline : int -> unit | 46 val newline : int -> unit |
44 val lastLineStart : unit -> int | 47 val lastLineStart : unit -> int |
45 val posOf : int -> pos | 48 val posOf : int -> pos |
46 val spanOf : int * int -> span | 49 val spanOf : int * int -> span |