shoney.arickathil
9a9e4927f6
- runtime: mailbox slots grow caller metadata (wo_msg), call parks on WO_PARK_INBOX (the DB-RPC protocol) and the resume consumes a SCALAR reply; FIBER_DONE ships the receive's return value home (same-shard unpark or kind-6 envelope); kind-5 carries cross-shard calls - actor death is real now: a receive trapping uncaught marks the actor dead, error-unparks the in-flight caller AND every queued caller, drops queued payloads + state, releases cap slots; send-to-dead drops silently, call-to-dead traps — a call never hangs. Fixes the pre-existing leak/dangle in TRAPF's fiber-death path (cur_msg leaked, a->active dangled, the mailbox rotted) - compiler: reply typing through actor-M erasure — every receive(M) program-wide must agree on one return type and it must be a copyable scalar (v1); WO-E226 names disagreeing classes / void receives / non-scalar replies; call's message moves exactly like send's (owner) - corpus: run/call-echo (park + ordered replies), run/call-dead-trap (mid-call + to-dead, both catchable), compile-fail/call-void-receive, compile-fail/call-reply-disagree; cross-shard call proof rides the chat gate next - battery 12/12 fresh-built (ASan+TSan lanes in fibers/db-actor green) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
27 lines
513 B
Text
27 lines
513 B
Text
-- iteration 24: `actor M` erases the class, so `call`'s reply type is
|
|
-- only defined when every receive(msg: M) program-wide agrees on one
|
|
-- return type. Two classes disagreeing is WO-E226 naming both.
|
|
|
|
class Q {
|
|
n: Int
|
|
}
|
|
|
|
class IntAnswer {
|
|
pad: Int
|
|
fn receive(msg: Q) -> Int {
|
|
return msg.n;
|
|
}
|
|
}
|
|
|
|
class BoolAnswer {
|
|
pad: Int
|
|
fn receive(msg: Q) -> Bool {
|
|
return msg.n > 0;
|
|
}
|
|
}
|
|
|
|
fn main() -> Int {
|
|
let a: actor Q = spawn IntAnswer { pad: 0 };
|
|
let r = call(a, Q { n: 1 });
|
|
return r;
|
|
}
|