Get the JS target basics working

This commit is contained in:
Tony Garnock-Jones 2021-12-03 01:00:47 +01:00
parent dd14c8471d
commit 33948be6b1
2 changed files with 4 additions and 4 deletions

View File

@ -69,7 +69,7 @@ export class ExpansionContext {
}
argDecl(t: TemplateFunction, name: Substitution, type: Substitution): Items {
return (this.typescript) ? t`${name}: ${type}` : t`name`;
return (this.typescript) ? t`${name}: ${type}` : t`${name}`;
}
turnDecl(t: TemplateFunction): Items {
@ -215,7 +215,7 @@ ${joinItems(sa.captureBinders.map(binderTypeGuard(t)), '\n')}
switch (s.triggerType) {
case 'asserted':
entity = t`{
assert(${ctx.turnDecl(t)}, ${ctx.argDecl(t, '__vs', '__SYNDICATE__.AnyValue')}, __handle: __SYNDICATE__.Handle) {
assert(${ctx.turnDecl(t)}, ${ctx.argDecl(t, '__vs', '__SYNDICATE__.AnyValue')}, ${ctx.argDecl(t, '__handle', '__SYNDICATE__.Handle')}) {
${guardBody(terminalWrap(t, s.terminal, walk(s.body)))}
}
}`;

View File

@ -10,6 +10,6 @@ console.time('box-and-client-' + N.toString());
boot() {
thisTurn.activeFacet.preventInertCheck();
const ds = create new Dataspace();
Box.boot(ds);
Client.boot(ds, () => console.timeEnd('box-and-client-' + N.toString()));
Box.boot(thisTurn, ds);
Client.boot(thisTurn, ds, () => console.timeEnd('box-and-client-' + N.toString()));
}