Lint redundant implied clauses (e.g. default moving) in the LSP #64
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Statements often carry a clause that is already the default, so it adds noise without changing behavior. The clearest case:
@map .c onto .b moving .c—moving .cis the default (folding the mapped side is implied formap point onto …), verified byte-identical FOLD with and without it. Same shape formountainvs the valley default, and any future implied selectors (e.g.towardwhen there is a single solution).An LSP diagnostic (hint severity) could flag these and offer a "remove redundant clause" quick-fix: if the written clause equals the value the evaluator would infer by default, it is redundant. Needs the evaluator's default-resolution reachable from the LSP.
Scope: diagnostics + quick-fix only; language semantics unchanged. Related: #42 / #60 (live preview), #58 (LSP stub).
For discussion — not urgent.