package override

  1. Overview
  2. Docs
PPX extension for overriding modules

Install

Dune Dependency

gitlab.inria.fr Readme Edit opam file Versions (5)

Authors

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Maintainers

  1. T
    Thierry Martinez <thierry.martinez@inria.fr>

Sources

override-0.2.2.tar.gz
sha512=2a22d74285570ad9f2a73327f52d4bef4aeb523f1b385f229775cc2a3bce4c389f2939da320c917707713ffc852cbcb3a1b515f9d7203da5751018589766ce01

doc/override.parsetree_show/Parsetree_show/Location/index.html

Module Parsetree_show.Location

include module type of struct include Location end with type t := Location.t and type report_printer := Location.report_printer and type report_kind := Location.report_kind and type report := Location.report and type msg := Location.msg and type 'a loc := 'a Location.loc and type error := Location.error
val none : Location.t
val in_file : string -> Location.t
val init : Lexing.lexbuf -> string -> unit
val curr : Lexing.lexbuf -> Location.t
val symbol_rloc : unit -> Location.t
val symbol_gloc : unit -> Location.t
val rhs_loc : int -> Location.t
val rhs_interval : int -> int -> Location.t
val get_pos_info : Lexing.position -> string * int * int
val mknoloc : 'a -> 'a Location.loc
val mkloc : 'a -> Location.t -> 'a Location.loc
val input_name : string ref
val input_lexbuf : Lexing.lexbuf option ref
val echo_eof : unit -> unit
val reset : unit -> unit
val rewrite_absolute_path : string -> string
val absolute_path : string -> string
val show_filename : string -> string
val print_filename : Format.formatter -> string -> unit
val print_loc : Format.formatter -> Location.t -> unit
val print_locs : Format.formatter -> Location.t list -> unit
val highlight_terminfo : Lexing.lexbuf -> Format.formatter -> Location.t list -> unit
val msg : ?loc:Location.t -> ('a, Format.formatter, unit, Location.msg) format4 -> 'a
val batch_mode_printer : Location.report_printer
val terminfo_toplevel_printer : Lexing.lexbuf -> Location.report_printer
val best_toplevel_printer : unit -> Location.report_printer
val print_report : Format.formatter -> Location.report -> unit
val report_printer : (unit -> Location.report_printer) ref
val default_report_printer : unit -> Location.report_printer
val report_warning : Location.t -> Warnings.t -> Location.report option
val warning_reporter : (Location.t -> Warnings.t -> Location.report option) ref
val default_warning_reporter : Location.t -> Warnings.t -> Location.report option
val formatter_for_warnings : Format.formatter ref
val print_warning : Location.t -> Format.formatter -> Warnings.t -> unit
val prerr_warning : Location.t -> Warnings.t -> unit
val report_alert : Location.t -> Warnings.alert -> Location.report option
val alert_reporter : (Location.t -> Warnings.alert -> Location.report option) ref
val default_alert_reporter : Location.t -> Warnings.alert -> Location.report option
val print_alert : Location.t -> Format.formatter -> Warnings.alert -> unit
val prerr_alert : Location.t -> Warnings.alert -> unit
val deprecated : ?def:Location.t -> ?use:Location.t -> Location.t -> string -> unit
val alert : ?def:Location.t -> ?use:Location.t -> kind:string -> Location.t -> string -> unit
val error : ?loc:Location.t -> ?sub:Location.msg list -> string -> Location.error
val errorf : ?loc:Location.t -> ?sub:Location.msg list -> ('a, Format.formatter, unit, Location.error) format4 -> 'a
val error_of_printer : ?loc:Location.t -> ?sub:Location.msg list -> (Format.formatter -> 'a -> unit) -> 'a -> Location.error
val error_of_printer_file : (Format.formatter -> 'a -> unit) -> 'a -> Location.error
val register_error_of_exn : (exn -> Location.error option) -> unit
val error_of_exn : exn -> [ `Already_displayed | `Ok of Location.error ] option
exception Error of Location.error
exception Already_displayed_error
val raise_errorf : ?loc:Location.t -> ?sub:Location.msg list -> ('a, Format.formatter, unit, 'b) format4 -> 'a
val report_exception : Format.formatter -> exn -> unit
type t = Warnings.loc = {
  1. loc_start : Lexing.position;
  2. loc_end : Lexing.position;
  3. loc_ghost : bool;
}
type 'a loc = 'a Location.loc = {
  1. txt : 'a;
  2. loc : t;
}
type msg = (Format.formatter -> unit) loc
type report_kind = Location.report_kind =
  1. | Report_error
  2. | Report_warning of string
  3. | Report_warning_as_error of string
  4. | Report_alert of string
  5. | Report_alert_as_error of string
val show_report_kind : report_kind -> Ppx_deriving_runtime.string
type report = Location.report = {
  1. kind : report_kind;
  2. main : msg;
  3. sub : msg list;
}
val show_report : report -> Ppx_deriving_runtime.string
type report_printer = Location.report_printer = {
  1. pp : report_printer -> Format.formatter -> report -> unit;
  2. pp_report_kind : report_printer -> report -> Format.formatter -> report_kind -> unit;
  3. pp_main_loc : report_printer -> report -> Format.formatter -> t -> unit;
  4. pp_main_txt : report_printer -> report -> Format.formatter -> (Format.formatter -> unit) -> unit;
  5. pp_submsgs : report_printer -> report -> Format.formatter -> msg list -> unit;
  6. pp_submsg : report_printer -> report -> Format.formatter -> msg -> unit;
  7. pp_submsg_loc : report_printer -> report -> Format.formatter -> t -> unit;
  8. pp_submsg_txt : report_printer -> report -> Format.formatter -> (Format.formatter -> unit) -> unit;
}
val show_report_printer : report_printer -> Ppx_deriving_runtime.string
type error = report
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct