module Errorloc:sig
..end
val newline : unit -> unit
val getPosition : unit -> Lexing.position * Lexing.position
val setCurrentWorkingDirectory : string -> unit
val setCurrentFile : ?normalize:bool -> string -> unit
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 : |
(* | The file name | *) |
|
line : |
(* | The line number | *) |
val d_loc : location Pretty_utils.formatter
val parse_error : string -> 'a
val locUnknown : location
val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
val finishParsing : unit -> unit