.. _stdlib_lint:

==================
Paranoid lint pass
==================

.. das:module:: lint

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 :doc:`lint_everything` for applying lint diagnostics to all modules.

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

.. code-block:: das

    require daslib/lint



+++++++++++++++
Lint operations
+++++++++++++++

  *  :ref:`paranoid (prog: ProgramPtr; compile_time_errors: bool) <function-lint_paranoid_ProgramPtr_bool>`

.. _function-lint_paranoid_ProgramPtr_bool:

.. das:function:: paranoid(prog: ProgramPtr; compile_time_errors: bool)

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


:Arguments: * **prog** :  :ref:`ProgramPtr <alias-ProgramPtr>`

            * **compile_time_errors** : bool