Specify export renaming onto a temp target #39

New issue

Closed

opened 2026-07-03 00:41:08 +00:00 by toph · 1 comment

toph commented

2026-07-03 00:41:08 +00:00

Owner

export { .m as ._t } $i currently lands ._t bypassing the ! shadow validation entirely (temp targets always replace). That is consistent with temp semantics — temps rebind freely — but the spec only forbids temps as export sources (§5a) and says nothing about temp targets.

Decide and write it down: either bless the behavior with a sentence in SPECIFICATION.md §5a, or reject temp targets in export lists. One-line change either way; the gap is the spec silence, not the code.

Follow-up to #35.

`export { .m as ._t } $i` currently lands `._t` bypassing the `!` shadow validation entirely (temp targets always replace). That is consistent with temp semantics — temps rebind freely — but the spec only forbids temps as export *sources* (§5a) and says nothing about temp *targets*. Decide and write it down: either bless the behavior with a sentence in SPECIFICATION.md §5a, or reject temp targets in export lists. One-line change either way; the gap is the spec silence, not the code. Follow-up to #35.

toph commented

2026-07-03 00:45:40 +00:00

Author

Owner

For the exact snippet export { .m as ._t } $i I'd just recommend ._t = .[$i m]. But since I don't see anything wrong with someone wanting to do this, it's blessed behavior.

For the exact snippet `export { .m as ._t } $i` I'd just recommend `._t = .[$i m]`. But since I don't see anything wrong with someone wanting to do this, it's blessed behavior.

toph referenced this issue from a commit

2026-07-03 18:42:17 +00:00

docs(spec): bless temp targets in export lists (#39)

toph referenced this issue

2026-07-03 18:42:43 +00:00

docs(spec): bless temp targets in export lists #51

toph referenced this issue from a commit

2026-07-03 18:45:36 +00:00

docs(spec): bless temp targets in export lists (#51)

toph closed this issue

2026-07-03 18:45:42 +00:00