Show bundle lifetimes (cardinality per step) as LSP inlay hints #65
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?
A crease name is a bundle of segments (ADR 0014) whose cardinality changes over time: it stays length 1 until the fold that first splits it, then grows. The evaluator already knows the cardinality of every bundle at every step — the live preview (#42, #60) ships per-step data to the editor anyway.
The LSP should surface this as inlay hints on the binding (and/or on hover): for each named bundle, until which step it is length 1 and from which step it holds multiple segments. That tells the author exactly where a bare
--dstops being unambiguous and anatprojection becomes required, before the evaluator errors.Once flap-bundles land (upcoming operand-model ADR), the same hints apply to them.
Related: #64 (lint redundant implied clauses), #59 (line-aware cursor sync).