Skip to content

State the effect wrapper declaration without a rank-1 special case #141

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
biuld merged 1 commit into from
Oct 4, 2026
Merged

State the effect wrapper declaration without a rank-1 special case #141

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 8 additions & 7 deletions docs/implementation/backend/effects.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -53,10 +53,10 @@ Verified row needs behavior-sensitive execution, not only a closure-shaped IR.
Wasmtime 49.0.2. `purs` 0.15.16. `PSRS_REQUIRE_WASMTIME=1 cargo test --workspace`
passed, as did `cargo clippy --workspace --all-targets -- -D warnings`. The
annotations scoreboard measured L6/M7 at 124/413. The same command, after
the rank-1 wrapper fix below, measured 124/413 again with the same blocker
split, and all 124 files still exited 0. L1–L5 stayed unchanged. Scoreboard
completion is not a golden comparison: a numeric exit with no trap marker
counts as completion.
the wrapper kept its binders on `quantified` and the closure monotype in `ty`,
measured 124/413 again with the same blocker split, and all 124 files still
exited 0. L1–L5 stayed unchanged. Scoreboard completion is not a golden
comparison: a numeric exit with no trap marker counts as completion.
The focused tests below assert stdout, status, or a trap marker.

```text
Expand All @@ -74,9 +74,10 @@ EF-02:
effect_suspension_conformance_errors_keep_the_imports_source_origin,
class_constrained_wit_imports_are_rejected_with_a_source_diagnostic.
Result: pass. A planned import is suspended from its checked scheme.
A rank-1 scheme keeps its binders on the wrapper declaration and stores
the closure monotype in `ty`. A class-constrained WIT signature is
rejected rather than dropped.
The wrapper declaration keeps the scheme's binders on `quantified` and
the closure monotype in `ty`, for a quantified import as well as a
monomorphic one. A class-constrained WIT signature is rejected rather
than dropped.
Gaps: none for this obligation.
EF-05:
Tests: tests::effects::run_effect_is_only_available_from_the_selected_entry,
Expand Down
Loading