Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/errormsg.sig Sat Jan 26 10:06:22 2008 -0500 +++ b/src/errormsg.sig Sat Jan 26 12:35:32 2008 -0500 @@ -36,4 +36,18 @@ type 'a located = 'a * span + val posToString : pos -> string + val spanToString : span -> string + + val resetPositioning : string -> unit + val newline : int -> unit + val lastLineStart : unit -> int + val posOf : int -> pos + val spanOf : int * int -> span + + val resetErrors : unit -> unit + val anyErrors : unit -> bool + val error : string -> unit + val errorAt : span -> string -> unit + val errorAt' : int * int -> string -> unit end