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.

See also Global lint pass (paranoid checks) for applying lint diagnostics to all modules.

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

require daslib/lint

14.1.1. Lint operations

lint.paranoid(prog: ProgramPtr; compile_time_errors: bool)

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

Arguments:
  • prog : ProgramPtr

  • compile_time_errors : bool