From 1fba36898722f3d40f059941841cb754851ba5bf Mon Sep 17 00:00:00 2001 From: Sam Caldwell Date: Mon, 14 Dec 2020 14:22:32 -0500 Subject: [PATCH] Caputre actor actions while booting up a ground dataspace fixes an issue where a function that evaluates multiple `spawn` forms only spawns the last actor --- racket/typed/roles.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt index 337906d..9b9ff81 100644 --- a/racket/typed/roles.rkt +++ b/racket/typed/roles.rkt @@ -84,6 +84,7 @@ (require (prefix-in syndicate: syndicate/actor-lang)) (require (submod syndicate/actor priorities)) +(require (prefix-in syndicate: (submod syndicate/actor for-module-begin))) (require (for-meta 2 macrotypes/stx-utils racket/list syntax/stx syntax/parse racket/base)) (require macrotypes/postfix-in) @@ -610,7 +611,8 @@ ] #:with τ-out (strip-outbound #'τ-c.norm) ----------------------------------------------------------------------------------- - [⊢ (#%app- syndicate:run-ground s- ...) (⇒ : (AssertionSet τ-out))]) + [⊢ (#%app- syndicate:run-ground (#%app- syndicate:capture-actor-actions (lambda- () (#%app- list- s- ...)))) + (⇒ : (AssertionSet τ-out))]) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; Utilities