package dedukti

  1. Overview
  2. Docs
package dedukti
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Api.ErrorsSource

Errors handling

Sourceval color : bool ref

Flag to disable colored output.

Sourceval success : string -> unit

Print a success message.

Sourceval fail_exit : file:string -> code:string -> Kernel.Basic.loc option -> ('a, Format.formatter, unit, 'b) format4 -> 'a

fail_exit file error_id lc "..." Prints the given error message prefixed with module and location details (when provided) as well as the error ID then exits with the given code.

Sourceval fail_sys_error : ?file:string -> msg:string -> unit -> 'a

Print a system error message then exits with code 1.

Sourcetype error_code = int
Sourcetype error_msg = error_code * Kernel.Basic.loc option * string
Sourcetype error_handler = red:(Kernel.Term.term -> Kernel.Term.term) -> exn -> error_msg option
Sourceval register_exception : (red:(Kernel.Term.term -> Kernel.Term.term) -> exn -> error_msg option) -> unit
Sourceval string_of_exception : red:(Kernel.Term.term -> Kernel.Term.term) -> Kernel.Basic.loc -> exn -> error_code * Kernel.Basic.loc * string
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