From 9f5633322ef3ad2aa77b0770e0ef543e78264ff9 Mon Sep 17 00:00:00 2001 From: Tyler Chan Date: Sun, 4 Oct 2026 17:01:59 +0800 Subject: [PATCH] State the effect wrapper declaration without a rank-1 special case The checked scheme's binders stay on the wrapper's quantified list and the closure monotype stays in ty. That is the Core declaration shape for a quantified import and a monomorphic one. The 2026-10-04 board is unchanged at 124/413. --- docs/implementation/backend/effects.md | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/docs/implementation/backend/effects.md b/docs/implementation/backend/effects.md index 12c4283c..5eb64b86 100644 --- a/docs/implementation/backend/effects.md +++ b/docs/implementation/backend/effects.md @@ -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 @@ -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,