package sail

  1. Overview
  2. Docs
val opt_warnings : bool Stdlib.ref
val loc_to_string : ?code:bool -> Parse_ast.l -> string
val simp_loc : Ast.l -> (Stdlib.Lexing.position * Stdlib.Lexing.position) option
val short_loc_to_string : Parse_ast.l -> string
val print_err : Parse_ast.l -> string -> string -> unit
type error = private
  1. | Err_general of Parse_ast.l * string
  2. | Err_unreachable of Parse_ast.l * string * int * int * int * Stdlib.Printexc.raw_backtrace * string
  3. | Err_todo of Parse_ast.l * string
  4. | Err_syntax of Stdlib.Lexing.position * string
  5. | Err_syntax_loc of Parse_ast.l * string
  6. | Err_lex of Stdlib.Lexing.position * string
  7. | Err_type of Parse_ast.l * string
exception Fatal_error of error
val err_todo : Parse_ast.l -> string -> exn
val err_general : Parse_ast.l -> string -> exn
val err_unreachable : Parse_ast.l -> (string * int * int * int) -> string -> exn
val err_typ : Parse_ast.l -> string -> exn
val err_syntax : Stdlib.Lexing.position -> string -> exn
val err_syntax_loc : Parse_ast.l -> string -> exn
val err_lex : Stdlib.Lexing.position -> string -> exn
val unreachable : Parse_ast.l -> (string * int * int * int) -> string -> 'a
val print_error : error -> unit
val warn : string -> Parse_ast.l -> string -> unit
val simple_warn : string -> unit
val suppress_warnings_for_file : string -> unit
OCaml

Innovation. Community. Security.