Module `Cduce_lib.Cduce_loc`

type source = [ | `None | `File of string | `Stream | `String of string | `Buffer of Stdlib.Buffer.t ]
type loc = source * int * int
type precise = [ | `Full | `Char of int ]

exception Location of loc * precise * exn
exception Generic of string

val noloc : loc
val nopos : int * int
val merge_loc : loc -> loc -> loc
val raise_loc : int -> int -> exn -> 'a
val raise_generic : string -> 'a
val raise_loc_generic : loc -> string -> 'a
val push_source : source -> unit
val pop_source : unit -> unit
val current_dir : unit -> string
val set_viewport : Html.t -> unit
val get_viewport : unit -> Html.t
val print_loc : Stdlib.Format.formatter -> (loc * precise) -> unit
val dump_loc : (loc * precise) -> unit
val html_hilight : (loc * precise) -> unit

type 'a located = { loc : loc; descr : 'a; }

val mk_located : (int * int) -> 'a -> 'a located
val mk_loc : loc -> 'a -> 'a located
val mknoloc : 'a -> 'a located
val loc_of_pos : (int * int) -> loc
val set_protected : bool -> unit
val is_protected : unit -> bool
val protect_op : string -> unit
val obj_path : string list Stdlib.ref
val resolve_filename : string -> string
val warning : loc -> string -> unit
val get_source : unit -> source