14.1. Paranoid lint pass

The LINT module implements static analysis checks for daslang code. It provides customizable lint rules that detect common mistakes, style violations, and potential bugs at compile time.

All functions and symbols are in “lint” module, use require to get access to it.

require daslib/lint

14.1.1. Lint operations

paranoid(prog: ProgramPtr; compile_time_errors: bool)

Runs the paranoid lint visitor on the program to check for common coding issues.

Arguments:
paranoid_collect(prog: ProgramPtr; errors: array<string>): int

Runs the paranoid lint visitor and collects errors as strings. Returns the number of lint issues found.

Arguments: