Module Errorloc

module Errorloc: sig .. end
This function is used especially when the preprocessor has generated linemarkers in the output that let us know the current working directory at the time of preprocessing (option -fworking-directory for GNU CPP).

val newline : unit -> unit
val getPosition : unit -> Lexing.position * Lexing.position
val setCurrentWorkingDirectory : string -> unit
This function is used especially when the preprocessor has generated linemarkers in the output that let us know the current working directory at the time of preprocessing (option -fworking-directory for GNU CPP).
val setCurrentFile : ?normalize:bool -> string -> unit
If normalize is false, setCurrentFile ~normalize:false path accepts path as the current file "as is". Else (the default), if path is relative, make it relative to the current working directory if it has been set; then in any case attempts to shorten the path to the current file using Filepath.normalize.

This function should not be called with a string argument which has been already normalized (because normalization can make path relative to a different path).

val setCurrentLine : int -> unit
type location = {
   file : string; (*The file name*)
   line : int; (*The line number*)
}
Type for source-file locations
val d_loc : location Pretty_utils.formatter
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