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