package zanuda

You can search for identifiers within the package.

in-package search v0.2.0

Linter for OCaml+dune projects

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

K

Kakadu

Maintainers

K

kakadu@pm.me

Sources

v1.1.0.tar.gz

sha256=5b7deabdb016858a0e19ddfb7647f628a243065f88c5ae9f4c362500d51cea7a

sha512=ceb852103fbbb88b5eeb8130bc7aa8bffe7130df6645d3298e1bb9b8f7e8f6c7b323ccc474cf92a08d28e7b80e9a96d68fd53de2e51c7c0e7d8e3e82e436b4bc

doc/zanuda.core/Zanuda_core/LINT/index.html

Module `Zanuda_core.LINT`

Module types for program tree analyzers

type impl =

| Untyped
| Typed

A type of lint's implementation. Typed and untyped lints inspect OCaml's Parsetree/Typedtree respectively. In Clippy it corresponds to early and late lint passes.

type group =

| Style
(*
Code that should be written in a more idiomatic way
*)
| Correctness
(*
Code that is outright wrong or useless
*)
| Perf
(*
Code that can be written to run faster
*)
| Restriction
| Deprecated
| Pedantic
(*
Lints which are rather strict or might have false positives
*)
| Complexity
| Suspicious
| Nursery
(*
New lints that are still under development
*)

Group of lints. The same as Rust's Clippy

type level =

| Allow
| Warn
| Deny
| Deprecated

Level of lints. The same as Rust's Clippy

type lint_source =

| Camelot
(*
Adopted from Camelot linter
*)
| Clippy
(*
Adopted from Rust's Clippy
*)
| FPCourse
(*
Invented after reviewing Kakadu's student's OCaml homeworks
*)
| Other
(*
The source is not specified
*)

How various lints were invented

module type GENERAL = sig ... end

module type UNTYPED = sig ... end

module type TYPED = sig ... end

module type UNUSED_DECLS = sig ... end

module type REPORTER = sig ... end