package goblint

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

Module Goblint_backtraceSource

Backtraces with custom marks.

Mark definition

Sourcetype mark = ..

Extensible type of marks.

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

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

Sourceval mark_to_string : mark -> string

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

Sourceval mark_to_string_default : mark -> string

Convert mark to default string.

Mark usage

Sourceval add_mark : exn -> mark -> unit

Add mark to exception.

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

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

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

protect with ~mark value and without ~finally.

Sourceval print_marktrace : out_channel -> exn -> unit

Print trace of marks of an exception.

Used by default for uncaught exceptions.

Sourceval 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