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())); });