14.2. Repo-level lint configuration

The lint_config module loads {get_das_root()}/.lint_config (a TOML file with a [rules] table of booleans) and folds it into a disabled_codes set consumed by the three lint pass-macros (daslib/lint, daslib/perf_lint, daslib/style_lint), by the standalone runner utils/lint/main.das, and by the MCP lint tool. seed_default_disabled seeds the canonical default-off rule set (currently STYLE005) before the file is read.

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

require daslib/lint_config

14.2.1. Configuration

• load_lint_config (var disabled_codes: table<string, void>)

• load_lint_config_from_path (path: string; var disabled_codes: table<string, void>)

• seed_default_disabled (var disabled_codes: table<string, void>)

load_lint_config(disabled_codes: table<string, void>)

def load_lint_config (var disabled_codes: table<string, void>)

Arguments:

• disabled_codes : table<string;void>

load_lint_config_from_path(path: string; disabled_codes: table<string, void>)

def load_lint_config_from_path (path: string; var disabled_codes: table<string, void>)

Arguments:

• path : string

• disabled_codes : table<string;void>

seed_default_disabled(disabled_codes: table<string, void>)

def seed_default_disabled (var disabled_codes: table<string, void>)

Arguments:

• disabled_codes : table<string;void>

14.2.2. Uncategorized

build_lint_macro_disabled(prog: ProgramPtr): table<string, void>

def build_lint_macro_disabled (prog: ProgramPtr) : table<string, void>

Arguments:

• prog : ProgramPtr