From b0ea9754c2bbbf12f66470747df899ed7e083fde Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Thu, 1 Nov 2018 16:58:14 +0000
Subject: [PATCH] Compilation script fixes; asynchronous ground dataspace

---
 Makefile        | 2 +-
 src/index.js    | 6 ++++--
 src/msgspeed.js | 6 ++++--
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index b452a18..2bf43be 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 lib: $(wildcard src/*.js)
 	mkdir -p $@
-	npx babel src --out-dir $@
+	npx syndicate-babel src --out-dir $@
 
 clean:
 	rm -rf lib
diff --git a/src/index.js b/src/index.js
index 775be58..8376e67 100644
--- a/src/index.js
+++ b/src/index.js
@@ -23,7 +23,7 @@ const N = 10;
 
 console.time('box-and-client-' + N.toString());
 
-dataspace {
+ground dataspace G {
   spawn named 'box' {
     field this.value = 0;
     assert Protocol.BoxState(this.value);
@@ -42,4 +42,6 @@ dataspace {
   }
 }
 
-console.timeEnd('box-and-client-' + N.toString());
+G.stopHandler = () => {
+  console.timeEnd('box-and-client-' + N.toString());
+};
diff --git a/src/msgspeed.js b/src/msgspeed.js
index 94597f6..7b9b81f 100644
--- a/src/msgspeed.js
+++ b/src/msgspeed.js
@@ -23,7 +23,7 @@ const N = 100000;
 
 console.time('msgspeed-' + N.toString());
 
-dataspace {
+ground dataspace G {
   spawn {
     on start {
       << 0;
@@ -38,4 +38,6 @@ dataspace {
   }
 }
 
-console.timeEnd('msgspeed-' + N.toString());
+G.stopHandler = () => {
+  console.timeEnd('msgspeed-' + N.toString());
+};