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

Merged

toph merged 1 commit from worktree-spec-temp-export-target into main

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

toph commented

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

Owner

Export onto a temp landing name (export { .m as ._t } $i) rebinds freely and needs no ! — temps are single-scope and rebindable. Documents this in §5a.5 with a §5a.7 table row, plus a locking eval test. The gap was spec silence, not code; the evaluator already behaved this way.

For #39.

Export onto a temp landing name (`export { .m as ._t } $i`) rebinds freely and needs no `!` — temps are single-scope and rebindable. Documents this in §5a.5 with a §5a.7 table row, plus a locking eval test. The gap was spec silence, not code; the evaluator already behaved this way. For #39.

toph added 1 commit

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

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

Export onto a temp landing name (`export { .m as ._t } $i`) rebinds
freely and needs no `!`; temps are single-scope and rebindable. Document
in §5a.5 and add a §5a.7 rebinding-table row, plus a locking eval test.

Closes #39.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Dj7AUAseHeFtET11b86S4y

toph merged commit 0da7707574 into main

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

toph deleted branch worktree-spec-temp-export-target

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

toph referenced this pull request from a commit

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

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