From 4a6d3a110ae24fc261aef5eba5eafb3dc1937d80 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sat, 3 Nov 2018 22:29:06 +0000
Subject: [PATCH] Propagate actor name in a during...spawn

---
 packages/syntax/src/plugin.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/syntax/src/plugin.js b/packages/syntax/src/plugin.js
index c34e16c..8b3df99 100644
--- a/packages/syntax/src/plugin.js
+++ b/packages/syntax/src/plugin.js
@@ -423,7 +423,7 @@ export default declare((api, options) => {
                    stop on asserted INSTID;
                  }
                }
-               spawn {
+               spawn named NAME {
                  assert INSTID;
                  stop on retracted SYNDICATE.Observe(INSTID);
                  BODY
@@ -431,6 +431,7 @@ export default declare((api, options) => {
              }`)({
                PATTERN1: node.pattern,
                PATTERN2: instantiatePatternToPattern(state, path.get('pattern')),
+               NAME: node.body.name || t.nullLiteral(),
                BODY: node.body.body, // the body of the SPAWN, which is itself the body of `node`
                SYNDICATE: state.SyndicateID,
                IDID: idId,