Create a way to emit lint warnings #10

Open
opened 2025-12-09 10:29:24 +00:00 by kloenk · 2 comments
Owner

Find a way to emit lint warnings, optionally with metadata only available in the evaluator stage. E.g. this could be used to emit a lint (and maybe even a formatting fix) if the attribute of a node is not indented as expected.

This could e.g. be implemented with a special (and without any tokens) S_LINT -> S_LINT_MISSING_INDENTATION node emitted in the parser step and converted to a lint/evaluator message in the evaluator stage

Find a way to emit lint warnings, optionally with metadata only available in the evaluator stage. E.g. this could be used to emit a lint (and maybe even a formatting fix) if the attribute of a node is not indented as expected. This could e.g. be implemented with a special (and without any tokens) `S_LINT` -> `S_LINT_MISSING_INDENTATION` node emitted in the parser step and converted to a lint/evaluator message in the evaluator stage
Owner

Another lint would be select X with X not existing.

This would mostly make sense in its own stage (perhaps own command) given that you can only check for this once all config nodes are evaluated.

Another lint would be `select X` with `X` not existing. This would mostly make sense in its own stage (perhaps own command) given that you can only check for this once all config nodes are evaluated.
Author
Owner

This also only has limited use, as this is a patterned used in the kernel for arch specific options. So this might need some way of specifying known options from another arch or some way to parse all arch options that are available

This also only has limited use, as this is a patterned used in the kernel for arch specific options. So this might need some way of specifying known options from another arch or some way to parse all arch options that are available
Sign in to join this conversation.
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
rokc/rokc#10
No description provided.