feat(jco): add --strict option for enabling bindgen type checks

Author: vados-cosmonic

packages/jco/src/cmd/transpile.d.ts

@@ -17,6 +17,7 @@ export function guestTypes(witPath: any, opts: any): Promise<void>;
  *   outDir?: string,
  *   features?: string[] | 'all',
  *   guest?: bool,
+ *   strict?: bool,
  * }} opts
  * @returns {Promise<{ [filename: string]: Uint8Array }>}
  */
@@ -33,6 +34,7 @@ export function typesComponent(
         outDir?: string;
         features?: string[] | "all";
         guest?: boolean;
+        strict?: boolean;
     },
 ): Promise<{
     [filename: string]: Uint8Array;

packages/jco/src/cmd/transpile.js

@@ -153,9 +153,8 @@ export async function transpileComponent(component, opts = {}) {
     // Let's define `instantiation` from `--instantiation` if it's present.
     if (opts.instantiation) {
         instantiation = { tag: opts.instantiation };
-    }
-    // Otherwise, if `--js` is present, an `instantiate` function is required.
-    else if (opts.js) {
+    } else if (opts.js) {
+        // Otherwise, if `--js` is present, an `instantiate` function is required.
         instantiation = { tag: "async" };
     }
 
@@ -200,6 +199,7 @@ export async function transpileComponent(component, opts = {}) {
         noNamespacedExports: opts.namespacedExports === false,
         multiMemory: opts.multiMemory === true,
         idlImports: opts.experimentalIdlImports === true,
+        strict: opts.strict === true,
     });
 
     let outDir = (opts.outDir ?? "").replace(/\\/g, "/");

packages/jco/src/cmd/types.d.ts

@@ -13,6 +13,7 @@ export function guestTypes(witPath: any, opts: any): Promise<void>;
  *   outDir?: string,
  *   features?: string[] | 'all',
  *   guest?: bool,
+ *   strict?: bool,
  * }} opts
  * @returns {Promise<{ [filename: string]: Uint8Array }>}
  */
@@ -29,6 +30,7 @@ export function typesComponent(
         outDir?: string;
         features?: string[] | "all";
         guest?: boolean;
+        strict?: boolean;
     },
 ): Promise<{
     [filename: string]: Uint8Array;

packages/jco/src/cmd/types.js

@@ -140,6 +140,7 @@ export async function typesComponent(witPath, opts) {
             world: opts.worldName,
             features,
             guest: opts.guest ?? false,
+            strict: opts.strict === true,
             asyncMode: asyncModeObj,
         }).map(([name, file]) => [`${outDir}${name}`, file]);
     } catch (err) {

packages/jco/src/jco.js

@@ -128,6 +128,7 @@ program
     .option("-q, --quiet", "disable output summary")
     .option("--no-namespaced-exports", "disable namespaced exports for typescript compatibility")
     .option("--multi-memory", "optimized output for Wasm multi-memory")
+    .option("--strict", "generate bindings with strict type checking")
     .allowExcessArguments(true)
     .action(asyncAction(transpile));
 
@@ -164,6 +165,7 @@ program
     .option("--feature <feature>", "enable one specific WIT feature (repeatable)", collectOptions, [])
     .option("--all-features", "enable all features")
     .option("--wasm-opt-bin <path-to-wasm-opt>', 'wasm-opt binary path (default: 'binaryen/bin/wasm-opt')")
+    .option("--strict", "generate bindings with strict type checking")
     .action(asyncAction(types));
 
 program
@@ -186,6 +188,7 @@ program
             .choices(["sync", "jspi"])
             .preset("sync"),
     )
+    .option("--strict", "generate bindings with strict type checking")
     .action(asyncAction(guestTypes));
 
 program