package zanuda

  1. Overview
  2. Docs

Module Zanuda_core.Collected_lintsSource

Global storage for found defects.

Mutable. Not thread safe.

Collecting found lints

Sourceval clear : unit -> unit
Sourceval add : loc:Warnings.loc -> (module LINT.REPORTER) -> unit
Sourceval report : unit -> unit

Report found lints

Collecting type declarations

We use information about type declarations to skip reporting lints in the code generated from a type declaration via `deriving`.

Sourceval add_tdecl : Warnings.loc -> unit
Sourceval has_tdecl_at : Warnings.loc -> bool
Sourceval clear_tdecls : unit -> unit