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