refactor(ipc-codegen): keep the generator to erasable TypeScript

barretenberg/cpp/src/barretenberg/avm/CMakeLists.txt

@@ -14,7 +14,7 @@ file(GLOB_RECURSE IPC_CODEGEN_SRC
 )
 add_custom_command(
     OUTPUT ${AVM_GEN_OUTPUTS}
-    COMMAND node --experimental-strip-types --experimental-transform-types --no-warnings
+    COMMAND node --experimental-strip-types --no-warnings
             ${IPC_CODEGEN_DIR}/src/generate.ts
             --schema ${AVM_SCHEMA}
             --lang cpp

barretenberg/cpp/src/barretenberg/cdb/CMakeLists.txt

@@ -15,7 +15,7 @@ file(GLOB_RECURSE IPC_CODEGEN_SRC
 )
 add_custom_command(
     OUTPUT ${CDB_GEN_OUTPUTS}
-    COMMAND node --experimental-strip-types --experimental-transform-types --no-warnings
+    COMMAND node --experimental-strip-types --no-warnings
             ${IPC_CODEGEN_DIR}/src/generate.ts
             --schema ${CDB_SCHEMA}
             --lang cpp

barretenberg/cpp/src/barretenberg/wsdb/CMakeLists.txt

@@ -21,7 +21,7 @@ file(GLOB_RECURSE IPC_CODEGEN_SRC
 )
 add_custom_command(
     OUTPUT ${WSDB_GEN_OUTPUTS}
-    COMMAND node --experimental-strip-types --experimental-transform-types --no-warnings
+    COMMAND node --experimental-strip-types --no-warnings
             ${IPC_CODEGEN_DIR}/src/generate.ts
             --schema ${WSDB_SCHEMA}
             --lang cpp

barretenberg/ts/bootstrap.sh

@@ -15,7 +15,7 @@ hash=$(hash_str \
   $(semver check $REF_NAME && echo 1 || echo 0))
 
 function generate_bb_avm_sim_package {
-  node --experimental-strip-types --experimental-transform-types --no-warnings \
+  node --experimental-strip-types --no-warnings \
     "$ROOT/ipc-codegen/src/generate.ts" \
     --schema "$ROOT/barretenberg/cpp/src/barretenberg/avm/avm_schema.json" \
     --lang ts \
@@ -33,7 +33,7 @@ function generate_bb_avm_sim_package {
 # Server binding package for the AVM CDB protocol: generated wire types +
 # Handler/dispatch + the schema itself. Pure TS — no binary, no arch packages.
 function generate_cdb_package {
-  node --experimental-strip-types --experimental-transform-types --no-warnings \
+  node --experimental-strip-types --no-warnings \
     "$ROOT/ipc-codegen/src/generate.ts" \
     --schema "$ROOT/barretenberg/cpp/src/barretenberg/cdb/cdb_schema.json" \
     --lang ts \

ipc-codegen/README.md

@@ -84,7 +84,7 @@ Invoked once per (schema, language) pair. Run directly with
 `node --experimental-strip-types`, or via `bootstrap.sh`.
 
 ```
-node --experimental-strip-types --experimental-transform-types --no-warnings \
+node --experimental-strip-types --no-warnings \
   src/generate.ts --schema <file> --lang <ts|cpp|rust|zig> --out <dir> [flags]
 ```
 

ipc-codegen/bootstrap.sh

@@ -49,6 +49,9 @@ function test_cmds {
   # Generator unit tests (schema validation).
   echo "$prefix node --experimental-strip-types --no-warnings ipc-codegen/test/schema_visitor.test.ts"
 
+  # The generator itself must load under type stripping alone (no transform step).
+  echo "$prefix ipc-codegen/scripts/strip_only_test.sh"
+
   # Golden tests (each language verifies it can deserialize the goldens
   # baked by build(), and re-encode them byte-identically).
   echo "$prefix $script golden rust"

ipc-codegen/echo_example/cpp/bootstrap.sh

@@ -3,7 +3,7 @@ set -euo pipefail
 
 DIR="$(cd "$(dirname "$0")" && pwd)"
 CODEGEN="$(cd "$DIR/../.." && pwd)"
-NODE="node --experimental-strip-types --experimental-transform-types --no-warnings"
+NODE="node --experimental-strip-types --no-warnings"
 
 $NODE "$CODEGEN/src/generate.ts" \
   --schema "$DIR/../schema/schema.jsonc" \

ipc-codegen/echo_example/rust/bootstrap.sh

@@ -3,7 +3,7 @@ set -euo pipefail
 
 DIR="$(cd "$(dirname "$0")" && pwd)"
 CODEGEN="$(cd "$DIR/../.." && pwd)"
-NODE="node --experimental-strip-types --experimental-transform-types --no-warnings"
+NODE="node --experimental-strip-types --no-warnings"
 
 $NODE "$CODEGEN/src/generate.ts" \
   --schema "$DIR/../schema/schema.jsonc" \

ipc-codegen/echo_example/ts/bootstrap.sh

@@ -4,7 +4,7 @@ set -euo pipefail
 DIR="$(cd "$(dirname "$0")" && pwd)"
 CODEGEN="$(cd "$DIR/../.." && pwd)"
 REPO_ROOT="$(cd "$CODEGEN/.." && pwd)"
-NODE="node --experimental-strip-types --experimental-transform-types --no-warnings"
+NODE="node --experimental-strip-types --no-warnings"
 
 $NODE "$CODEGEN/src/generate.ts" \
   --schema "$DIR/../schema/schema.jsonc" \

ipc-codegen/echo_example/ts_package/bootstrap.sh

@@ -4,7 +4,7 @@ set -euo pipefail
 DIR="$(cd "$(dirname "$0")" && pwd)"
 CODEGEN="$(cd "$DIR/../.." && pwd)"
 REPO_ROOT="$(cd "$CODEGEN/.." && pwd)"
-NODE="node --experimental-strip-types --experimental-transform-types --no-warnings"
+NODE="node --experimental-strip-types --no-warnings"
 
 $NODE "$CODEGEN/src/generate.ts" \
   --schema "$DIR/../schema/schema.jsonc" \

ipc-codegen/echo_example/zig/bootstrap.sh

@@ -3,7 +3,7 @@ set -euo pipefail
 
 DIR="$(cd "$(dirname "$0")" && pwd)"
 CODEGEN="$(cd "$DIR/../.." && pwd)"
-NODE="node --experimental-strip-types --experimental-transform-types --no-warnings"
+NODE="node --experimental-strip-types --no-warnings"
 
 $NODE "$CODEGEN/src/generate.ts" \
   --schema "$DIR/../schema/schema.jsonc" \

ipc-codegen/scripts/strip_only_test.sh

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+#
+# The generator must run under Node's type stripping alone, with no transform
+# step: only erasable TypeScript, so no parameter properties, enums, namespaces
+# or decorators in ipc-codegen/src. Node reports those as
+# ERR_UNSUPPORTED_TYPESCRIPT_SYNTAX at module load, which takes out every
+# --lang at once, so generate one of each here rather than trusting the callers
+# to notice.
+source $(git rev-parse --show-toplevel)/ci3/source
+
+schema="$root/ipc-codegen/echo_example/schema/schema.jsonc"
+out=$(mktemp -d)
+trap "rm -rf $out" EXIT
+
+for lang in rust ts zig cpp; do
+  node --experimental-strip-types --no-warnings "$root/ipc-codegen/src/generate.ts" \
+    --schema "$schema" --lang "$lang" --out "$out/$lang" --server --client >/dev/null
+done
+
+echo "generate.ts runs strip-only for rust, ts, zig and cpp."

ipc-codegen/src/cpp_codegen.ts

@@ -41,7 +41,11 @@ export interface CppCodegenOptions {
 }
 
 export class CppCodegen {
-  constructor(private opts: CppCodegenOptions) {}
+  private opts: CppCodegenOptions;
+
+  constructor(opts: CppCodegenOptions) {
+    this.opts = opts;
+  }
 
   private primitiveType(type: import("./schema_visitor.ts").Type): string {
     switch (type.primitive) {

ipc-codegen/src/typescript_package_codegen.ts

@@ -100,7 +100,11 @@ export interface TypeScriptServerPackageOptions {
  * from @aztec-foundation/ipc-runtime).
  */
 export class TypeScriptServerPackageCodegen {
-  constructor(private opts: TypeScriptServerPackageOptions) {}
+  private opts: TypeScriptServerPackageOptions;
+
+  constructor(opts: TypeScriptServerPackageOptions) {
+    this.opts = opts;
+  }
 
   generatePackageJson(): string {
     const pkg = {
@@ -175,7 +179,11 @@ runs \`yarn build\`.
 }
 
 export class TypeScriptPackageCodegen {
-  constructor(private opts: TypeScriptPackageOptions) {}
+  private opts: TypeScriptPackageOptions;
+
+  constructor(opts: TypeScriptPackageOptions) {
+    this.opts = opts;
+  }
 
   generatePackageJson(): string {
     const archPackages = archPackageNames(this.opts.packageName);

wsdb/bootstrap.sh

@@ -10,7 +10,7 @@ hash=$(hash_str \
   $(cache_content_hash .rebuild_patterns))
 
 function generate_ts_package {
-  node --experimental-strip-types --experimental-transform-types --no-warnings \
+  node --experimental-strip-types --no-warnings \
     "$ROOT/ipc-codegen/src/generate.ts" \
     --schema "$ROOT/barretenberg/cpp/src/barretenberg/wsdb/wsdb_schema.jsonc" \
     --lang ts \