Mercurial > urweb
comparison src/errormsg.sig @ 1:4202f6eda946
Initial parsing and pretty-printing
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 26 Jan 2008 12:35:32 -0500 |
parents | 502c6d622477 |
children | daa4f1d7a663 |
comparison
equal
deleted
inserted
replaced
0:502c6d622477 | 1:4202f6eda946 |
---|---|
34 first : pos, | 34 first : pos, |
35 last : pos} | 35 last : pos} |
36 | 36 |
37 type 'a located = 'a * span | 37 type 'a located = 'a * span |
38 | 38 |
39 val posToString : pos -> string | |
40 val spanToString : span -> string | |
41 | |
42 val resetPositioning : string -> unit | |
43 val newline : int -> unit | |
44 val lastLineStart : unit -> int | |
45 val posOf : int -> pos | |
46 val spanOf : int * int -> span | |
47 | |
48 val resetErrors : unit -> unit | |
49 val anyErrors : unit -> bool | |
50 val error : string -> unit | |
51 val errorAt : span -> string -> unit | |
52 val errorAt' : int * int -> string -> unit | |
39 end | 53 end |