From 4db3f45d6760cb50b5d9e4d3aaef6089b1ab27bc Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 9 Dec 2021 22:13:52 +0100
Subject: [PATCH] oops - dataspace.boot

---
 packages/syndicatec/examples/typescript/src/index.ts | 6 ++----
 packages/ts-plugin/examples/typescript/src/index.ts  | 6 ++----
 packages/tsc/examples/typescript/src/index.ts        | 6 ++----
 3 files changed, 6 insertions(+), 12 deletions(-)

diff --git a/packages/syndicatec/examples/typescript/src/index.ts b/packages/syndicatec/examples/typescript/src/index.ts
index 7aad83f..bf2ae65 100644
--- a/packages/syndicatec/examples/typescript/src/index.ts
+++ b/packages/syndicatec/examples/typescript/src/index.ts
@@ -4,12 +4,10 @@
 import { N } from './protocol.js';
 import * as Box from './box.js';
 import * as Client from './client.js';
-import { Actor, Dataspace, Turn } from '@syndicate-lang/core';
+import { Dataspace } from '@syndicate-lang/core';
 
 console.time('box-and-client-' + N.toString());
-Actor.boot(() => {
-    Turn.activeFacet.preventInertCheck();
-    const ds = create new Dataspace();
+Dataspace.boot(ds => {
     Box.boot(ds);
     Client.boot(ds, () => console.timeEnd('box-and-client-' + N.toString()));
 });
diff --git a/packages/ts-plugin/examples/typescript/src/index.ts b/packages/ts-plugin/examples/typescript/src/index.ts
index 7aad83f..bf2ae65 100644
--- a/packages/ts-plugin/examples/typescript/src/index.ts
+++ b/packages/ts-plugin/examples/typescript/src/index.ts
@@ -4,12 +4,10 @@
 import { N } from './protocol.js';
 import * as Box from './box.js';
 import * as Client from './client.js';
-import { Actor, Dataspace, Turn } from '@syndicate-lang/core';
+import { Dataspace } from '@syndicate-lang/core';
 
 console.time('box-and-client-' + N.toString());
-Actor.boot(() => {
-    Turn.activeFacet.preventInertCheck();
-    const ds = create new Dataspace();
+Dataspace.boot(ds => {
     Box.boot(ds);
     Client.boot(ds, () => console.timeEnd('box-and-client-' + N.toString()));
 });
diff --git a/packages/tsc/examples/typescript/src/index.ts b/packages/tsc/examples/typescript/src/index.ts
index 7aad83f..bf2ae65 100644
--- a/packages/tsc/examples/typescript/src/index.ts
+++ b/packages/tsc/examples/typescript/src/index.ts
@@ -4,12 +4,10 @@
 import { N } from './protocol.js';
 import * as Box from './box.js';
 import * as Client from './client.js';
-import { Actor, Dataspace, Turn } from '@syndicate-lang/core';
+import { Dataspace } from '@syndicate-lang/core';
 
 console.time('box-and-client-' + N.toString());
-Actor.boot(() => {
-    Turn.activeFacet.preventInertCheck();
-    const ds = create new Dataspace();
+Dataspace.boot(ds => {
     Box.boot(ds);
     Client.boot(ds, () => console.timeEnd('box-and-client-' + N.toString()));
 });