From 109441785f91120a7423483b14d02e7fd614e9f3 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 22 Feb 2021 20:47:21 +0100 Subject: [PATCH] Simplify --- actor.ts | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 {