Module Errorloc


module Errorloc: sig .. end
high-level position

val newline : unit -> unit
val newHline : unit -> unit
val getPosition : unit -> Lexing.position * Lexing.position
val getHPosition : unit -> int * string
high-level position
val setHLine : int -> unit
val setHFile : string -> unit
val setCurrentLine : int -> unit
val setCurrentFile : string -> unit

type location = {
   file : string; (*The file name*)
   line : int; (*The line number*)
   hfile : string; (*The high-level file name, or "" if not present*)
   hline : int; (*The high-level line number, or 0 if not present*)
}
Type for source-file locations
val d_loc : location Pretty_utils.formatter
val d_hloc : location Pretty_utils.formatter
val getLocation : unit -> location
val parse_error : string -> 'a
val locUnknown : location
An unknown location for use when you need one but you don't have one
val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
val finishParsing : unit -> unit
val first_filename_encountered : string option Pervasives.ref