Lines Matching defs:location
27 type location =
37 val location: lexan -> location;
45 { location: location, hard: bool, message: pretty, context: pretty option } -> unit
47 val errorMessage: lexan * location * string -> unit
49 val warningMessage: lexan * location * string -> unit
65 ({ location: location, hard: bool, message: pretty, context: pretty option } -> unit) Universal.tag
67 (* A null location *)
68 val nullLocation: location
70 (* Construct the location that starts at the start of the first location
72 individual lexical units into a location for a larger syntactic unit. *)
73 val locSpan: location * location -> location