package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Backtraces with custom marks.

Mark definition

type mark = ..

Extensible type of marks.

val register_mark_printer : (mark -> string option) -> unit

Register printing function for custom mark. The function should return None for other marks.

val mark_to_string : mark -> string

Convert mark to string using registered printers, or mark_to_string_default if unhandled.

val mark_to_string_default : mark -> string

Convert mark to default string.

Mark usage

val add_mark : exn -> mark -> unit

Add mark to exception.

val protect : mark:(unit -> mark) -> finally:(unit -> unit) -> (unit -> 'a) -> 'a

Fun.protect with additional ~mark addition to all exceptions.

val wrap_val : mark:mark -> (unit -> 'a) -> 'a

protect with ~mark value and without ~finally.

val print_marktrace : Stdlib.out_channel -> exn -> unit

Print trace of marks of an exception.

Used by default for uncaught exceptions.

val find_marks : exn -> mark list

Find all marks of an exception.

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