diff --git a/actor.ts b/actor.ts index 8742c88..e03eb07 100644 --- a/actor.ts +++ b/actor.ts @@ -44,10 +44,6 @@ export class Actor { return this.exitReason === null; } - stop(t: Turn) { - this.terminateWith(t, { ok: true }); - } - terminateWith(t: Turn, reason: Exclude) { if (this.alive) { this.exitReason = reason; @@ -115,7 +111,7 @@ export class Turn { quit(): void { const actor = this._ensureActor("quit"); - this.localActions.push(t => actor.stop(t)); + this.localActions.push(t => actor.terminateWith(t, { ok: true })); } assert(location: Ref, assertion: Assertion): Handle {