Skip to content

Commit 4cae6da

Browse files
committed
lgj-abi: map ExecError::LaneNotOrdered to LGJ_ERR_LANE_KIND_MISMATCH
mask-risc's `CountKeyRunsU32` now refuses a key lane out of key order; the ABI reports it as the lane-shape mismatch it is. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GXUahz73MZxtxWcfpHp9dG
1 parent a64fb70 commit 4cae6da

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

‎native/lgj-abi/src/exports.rs‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1733,6 +1733,9 @@ fn exec_error_to_status(e: ExecError) -> i32 {
17331733
match e {
17341734
ExecError::LaneOutOfRange(_) => LGJ_ERR_INVALID_LANE,
17351735
ExecError::LaneKind { .. } => LGJ_ERR_LANE_KIND_MISMATCH,
1736+
// The lane is the right width but not in key order: a lane-shape
1737+
// precondition of the fold, reported as the same class of mismatch.
1738+
ExecError::LaneNotOrdered { .. } => LGJ_ERR_LANE_KIND_MISMATCH,
17361739
ExecError::LenMismatch { .. } => LGJ_ERR_MASK_LENGTH_MISMATCH,
17371740
ExecError::PlaneOutOfRange(_)
17381741
| ExecError::PlaneTail(_)

0 commit comments

Comments
 (0)