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
This commit is contained in:
parent
7475c1896f
commit
1fba368987
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue