From ba2b2edfc318af4075c8f9ac94a39487ae5ba787 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 23 Feb 2021 11:17:38 +0100 Subject: [PATCH] Reuse LocalAction definition --- actor.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/actor.ts b/actor.ts index 97c89e8..f1da5c5 100644 --- a/actor.ts +++ b/actor.ts @@ -68,7 +68,7 @@ export class Turn { readonly queues: Map = new Map(); readonly tasks: Array = []; - static for(actor: Actor, f: (t: Turn) => void): void { + static for(actor: Actor, f: LocalAction): void { const t = new Turn(actor); f(t); t.complete(); @@ -82,7 +82,7 @@ export class Turn { return new Ref(this.actor, t); } - spawn(bootProc: (t: Turn) => void, initialAssertions = new IdentitySet()): void { + spawn(bootProc: LocalAction, initialAssertions = new IdentitySet()): void { this.tasks.push(() => { const newOutbound: OutboundMap = new Map(); initialAssertions.forEach(key => {