diff --git a/.github/workflows/wasm-release.yml b/.github/workflows/wasm-release.yml index b91e06a80c2..907246e8d25 100644 --- a/.github/workflows/wasm-release.yml +++ b/.github/workflows/wasm-release.yml @@ -2,6 +2,8 @@ name: WebAssembly Publish on: workflow_dispatch: + release: + types: [published] defaults: run: diff --git a/src/api/js/example-raw.ts b/src/api/js/example-raw.ts index 0ade4273ac5..684b8e7ea34 100644 --- a/src/api/js/example-raw.ts +++ b/src/api/js/example-raw.ts @@ -56,7 +56,6 @@ import { init, Z3_error_code } from './build/node-wrapper'; } console.log('confirming error messages work:', Z3.get_error_msg(ctx, Z3.get_error_code(ctx))); - Z3.dec_ref(ctx, strAst); Z3.del_context(ctx); diff --git a/src/api/js/scripts/make-ts-wrapper.js b/src/api/js/scripts/make-ts-wrapper.js index e80de68a8ed..91e7eb65360 100644 --- a/src/api/js/scripts/make-ts-wrapper.js +++ b/src/api/js/scripts/make-ts-wrapper.js @@ -422,9 +422,9 @@ export async function init(initModule: any) { return ctx; }, ${functions - .map(wrapFunction) - .filter(f => f != null) - .join(',\n')} + .map(wrapFunction) + .filter(f => f != null) + .join(',\n')} } }; diff --git a/src/api/js/scripts/parse-api.js b/src/api/js/scripts/parse-api.js index 53655424ff4..db12945bd6a 100644 --- a/src/api/js/scripts/parse-api.js +++ b/src/api/js/scripts/parse-api.js @@ -121,7 +121,6 @@ for (let file of files) { throw new Error(`extra text in parameter list ${JSON.stringify(text)}`); } - if (name in defApis) { throw new Error(`multiple defApi calls for ${name}`); } @@ -132,11 +131,11 @@ for (let file of files) { types[match.groups.type] = match.groups.type; } - // we don't have to pre-populate the types map with closure types - // use the Z3_DECLARE_CLOSURE to identify closure types - // for (let match of contents.matchAll(/Z3_DECLARE_CLOSURE\((?[A-Za-z0-9_]+),/g)) { - // types[match.groups.type] = match.groups.type - // } + // we don't have to pre-populate the types map with closure types + // use the Z3_DECLARE_CLOSURE to identify closure types + // for (let match of contents.matchAll(/Z3_DECLARE_CLOSURE\((?[A-Za-z0-9_]+),/g)) { + // types[match.groups.type] = match.groups.type + // } // parse enum declarations for (let idx = 0; idx < contents.length; ) {