charon_lib

Module errors

source
Expand description

Utilities to generate error reports about the external dependencies.

Macros§

Structs§

  • We use this to save the origin of an id. This is useful for the external dependencies, especially if some external dependencies don’t extract: we use this information to tell the user what is the code which (transitively) lead to the extraction of those problematic dependencies.
  • Common error used during the translation.
  • The context for tracking and reporting errors.