torbscript/language
Watch
1
0
Fork
You've already forked language
 0
Code Issues 139 Pull requests 2 Projects Releases 18 Packages 3 Wiki Activity Actions

Slice 3: diagnostics at load, use and header sites #508

New issue
Closed
opened 2026-10-26 21:36:09 +00:00 by orion · 1 comment
orion commented 2026-10-26 21:36:09 +00:00
Collaborator
Copy link

Scope: the diagnostics catalogue of the design (section 7) and the run-time/text-load mismatch SandboxError. Depends on slice 2.

Acceptance criteria:

  • Headerless load: error at the path literal with a note holding the exact header to add.
  • load<Other> against header: error at the load, related info at the header.
  • use of a script: clear error (not NoModule); header in project.trb/entry/test/lib: error; unknown type, trait, generic: error at the header.
  • Runtime and text load with a mismatching header: SandboxError on the header's line.
  • Exact texts pinned in tests (compiler/tests/sandbox*.test.trb).

Epic: #505. Design: PR #504 (docs/design/SCRIPT-RECEIVERS.md). End goal: hover/highlighting/go-to-definition in Forgejo for project.trb and imported scripts (browser LSP: orion/infra#2329).

Scope: the diagnostics catalogue of the design (section 7) and the run-time/text-load mismatch SandboxError. Depends on slice 2. Acceptance criteria: - [ ] Headerless load: error at the path literal with a note holding the exact header to add. - [ ] `load<Other>` against header: error at the load, related info at the header. - [ ] `use` of a script: clear error (not NoModule); header in project.trb/entry/test/lib: error; unknown type, trait, generic: error at the header. - [ ] Runtime and text load with a mismatching header: SandboxError on the header's line. - [ ] Exact texts pinned in tests (compiler/tests/sandbox*.test.trb). Epic: #505. Design: PR #504 (docs/design/SCRIPT-RECEIVERS.md). End goal: hover/highlighting/go-to-definition in Forgejo for project.trb and imported scripts (browser LSP: orion/infra#2329).
orion commented 2026-10-28 05:38:09 +00:00
Author
Collaborator
Copy link

Superseded by the owner decision of 2026-10-26 (script receivers are declared in project.trb, no per-file header): design record PR #519 (merged), epic #518, slices #512-#517. Closing so the loop does not implement the retired header design. Reopen if the header design comes back.

Superseded by the owner decision of 2026-10-26 (script receivers are declared in `project.trb`, no per-file header): design record PR https://git.torb.dev/torbscript/language/pulls/519 (merged), epic https://git.torb.dev/torbscript/language/issues/518, slices #512-#517. Closing so the loop does not implement the retired header design. Reopen if the header design comes back.
orion closed this issue 2026-10-28 05:38:09 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
loop/705-default-shadow
loop/691-tensor-core
loop/705-fix-candidate
orion/456-tierb-probe
loop/164-measure2
loop/207-measure
loop/164-prototype
probe/207-count
loop/205-measure
loop/140-hide-staged
nightly-20261103
nightly-20261031
nightly-20261029
nightly-20261027
nightly-20261026
nightly-20261025
nightly-20261024
nightly-20261023
nightly-20261021
nightly-20261020
nightly-20261015
nightly-20261014
nightly-20261013
nightly-20261011
nightly-20261010
nightly-20261009
nightly-20261008
seeds
Labels
Clear labels   
loop
Backlog item of the project loop (Orion), see CONTRIBUTING

  
ready
Refined to the definition of ready

No labels
loop
ready
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
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
torbscript/language#508
No description provided.