NAME

       Location - An arbitrary value of type t; describes an empty ghost range.

Module

       Module   Location

Documentation

       Module Location
        : sig end

       An arbitrary value of type t ; describes an empty ghost range.

       type t = {
        loc_start : Lexing.position ;
        loc_end : Lexing.position ;
        loc_ghost : bool ;
        }

       val none : t

       An arbitrary value of type t ; describes an empty ghost range.

       val in_file : string -> t

       Return an empty ghost range located in a given file.

       val init : Lexing.lexbuf -> string -> unit

       Set the file name and line number of the lexbuf to be the start of the named file.

       val curr : Lexing.lexbuf -> t

       Get the location of the current token from the lexbuf .

       val symbol_rloc : unit -> t

       val symbol_gloc : unit -> t

       val rhs_loc : int -> t

       rhs_loc n returns the location of the symbol at position n , starting at 1, in the current
       parser rule.

       val input_name : string Pervasives.ref

       val input_lexbuf : Lexing.lexbuf option Pervasives.ref

       val get_pos_info : Lexing.position -> string * int * int

       val print_loc : Format.formatter -> t -> unit

       val print_error : Format.formatter -> t -> unit

       val print_error_cur_file : Format.formatter -> unit

       val print_warning : t -> Format.formatter -> Warnings.t -> unit

       val formatter_for_warnings : Format.formatter Pervasives.ref

       val prerr_warning : t -> Warnings.t -> unit

       val echo_eof : unit -> unit

       val reset : unit -> unit

       val warning_printer : (t -> Format.formatter -> Warnings.t -> unit) Pervasives.ref

       Hook for intercepting warnings.

       val default_warning_printer : t -> Format.formatter -> Warnings.t -> unit

       Original warning printer for use in hooks.

       val highlight_locations : Format.formatter -> t list -> bool

       type 'a loc = {
        txt : 'a ;
        loc : t ;
        }

       val mknoloc : 'a -> 'a loc

       val mkloc : 'a -> t -> 'a loc

       val print : Format.formatter -> t -> unit

       val print_filename : Format.formatter -> string -> unit

       val absolute_path : string -> string

       val show_filename : string -> string

       In -absname mode, return the absolute path for  this  filename.   Otherwise,  returns  the
       filename unchanged.

       val absname : bool Pervasives.ref

       type error = {
        loc : t ;
        msg : string ;
        sub : error list ;
        if_highlight : string ;
        }

       exception Error of error

       val error : ?loc:t -> ?sub:error list -> ?if_highlight:string -> string -> error

       val  errorf  :  ?loc:t  ->  ?sub:error  list -> ?if_highlight:string -> ('a, unit, string,
       error) Pervasives.format4 -> 'a

       val raise_errorf : ?loc:t -> ?sub:error list -> ?if_highlight:string -> ('a, unit, string,
       'b) Pervasives.format4 -> 'a

       val error_of_printer : t -> (Format.formatter -> 'a -> unit) -> 'a -> error

       val error_of_printer_file : (Format.formatter -> 'a -> unit) -> 'a -> error

       val error_of_exn : exn -> error option

       val register_error_of_exn : (exn -> error option) -> unit

       val report_error : Format.formatter -> error -> unit

       val error_reporter : (Format.formatter -> error -> unit) Pervasives.ref

       Hook for intercepting error reports.

       val default_error_reporter : Format.formatter -> error -> unit

       Original error reporter for use in hooks.

       val report_exception : Format.formatter -> exn -> unit