@soundscript/soundscript 0.1.13 → 0.1.15

package/project-transform/src/frontend/macro_templates.js

@@ -0,0 +1,57 @@
+import ts from 'typescript';
+import { createExprSyntaxFromNode, createTemplateSyntaxFromPieces, } from './macro_syntax_internal.js';
+const TEMPLATE_PREFIX = 'const __sts_template = ';
+function createTemplateSourceFile(text) {
+    return ts.createSourceFile('/virtual/macro_template.ts', `${TEMPLATE_PREFIX}${text};`, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+}
+function shiftSpan(baseSpan, start, end) {
+    return {
+        fileName: baseSpan.fileName,
+        start: baseSpan.start + start,
+        end: baseSpan.start + end,
+    };
+}
+function createQuasi(baseSpan, start, end, text) {
+    return {
+        span: shiftSpan(baseSpan, start, end),
+        text,
+    };
+}
+function createExpression(baseSpan, start, end, text, node, sourceFile) {
+    return createExprSyntaxFromNode(node, sourceFile, shiftSpan(baseSpan, start, end), text);
+}
+export function parseTemplateOperand(span, text) {
+    const sourceFile = createTemplateSourceFile(text);
+    const parseDiagnostics = sourceFile.parseDiagnostics ?? [];
+    if (parseDiagnostics.length > 0) {
+        return null;
+    }
+    const statement = sourceFile.statements[0];
+    if (!statement || !ts.isVariableStatement(statement)) {
+        return null;
+    }
+    const initializer = statement.declarationList.declarations[0]?.initializer;
+    if (!initializer) {
+        return null;
+    }
+    if (ts.isNoSubstitutionTemplateLiteral(initializer)) {
+        return createTemplateSyntaxFromPieces(span, text, [
+            createQuasi(span, 1, Math.max(text.length - 1, 1), text.slice(1, -1)),
+        ], []);
+    }
+    if (!ts.isTemplateExpression(initializer)) {
+        return null;
+    }
+    const quasis = [];
+    const expressions = [];
+    const prefixLength = TEMPLATE_PREFIX.length;
+    const headText = initializer.head.getText(sourceFile);
+    quasis.push(createQuasi(span, initializer.head.getStart(sourceFile) - prefixLength + 1, initializer.head.getEnd() - prefixLength - 2, headText.slice(1, -2)));
+    for (const templateSpan of initializer.templateSpans) {
+        expressions.push(createExpression(span, templateSpan.expression.getStart(sourceFile) - prefixLength, templateSpan.expression.getEnd() - prefixLength, templateSpan.expression.getText(sourceFile), templateSpan.expression, sourceFile));
+        const literalText = templateSpan.literal.getText(sourceFile);
+        const isTail = templateSpan.literal.kind === ts.SyntaxKind.TemplateTail;
+        quasis.push(createQuasi(span, templateSpan.literal.getStart(sourceFile) - prefixLength + 1, templateSpan.literal.getEnd() - prefixLength - (isTail ? 1 : 2), literalText.slice(1, isTail ? -1 : -2)));
+    }
+    return createTemplateSyntaxFromPieces(span, text, quasis, expressions);
+}

package/project-transform/src/frontend/macro_templates.ts

@@ -0,0 +1,143 @@
+import ts from 'typescript';
+
+import type {
+  ExprSyntax,
+  MacroTemplateOperand,
+  MacroTemplateQuasi,
+} from './macro_api.ts';
+import {
+  createExprSyntaxFromNode,
+  createTemplateSyntaxFromPieces,
+} from './macro_syntax_internal.ts';
+import type { SourceSpan } from './macro_types.ts';
+
+const TEMPLATE_PREFIX = 'const __sts_template = ';
+
+function createTemplateSourceFile(text: string): ts.SourceFile {
+  return ts.createSourceFile(
+    '/virtual/macro_template.ts',
+    `${TEMPLATE_PREFIX}${text};`,
+    ts.ScriptTarget.Latest,
+    true,
+    ts.ScriptKind.TS,
+  );
+}
+
+function shiftSpan(baseSpan: SourceSpan, start: number, end: number): SourceSpan {
+  return {
+    fileName: baseSpan.fileName,
+    start: baseSpan.start + start,
+    end: baseSpan.start + end,
+  };
+}
+
+function createQuasi(
+  baseSpan: SourceSpan,
+  start: number,
+  end: number,
+  text: string,
+): MacroTemplateQuasi {
+  return {
+    span: shiftSpan(baseSpan, start, end),
+    text,
+  };
+}
+
+function createExpression(
+  baseSpan: SourceSpan,
+  start: number,
+  end: number,
+  text: string,
+  node: ts.Expression,
+  sourceFile: ts.SourceFile,
+): ExprSyntax {
+  return createExprSyntaxFromNode(
+    node,
+    sourceFile,
+    shiftSpan(baseSpan, start, end),
+    text,
+  );
+}
+
+export function parseTemplateOperand(
+  span: SourceSpan,
+  text: string,
+): MacroTemplateOperand | null {
+  const sourceFile = createTemplateSourceFile(text);
+  const parseDiagnostics = (sourceFile as ts.SourceFile & {
+    parseDiagnostics?: readonly ts.Diagnostic[];
+  }).parseDiagnostics ?? [];
+  if (parseDiagnostics.length > 0) {
+    return null;
+  }
+
+  const statement = sourceFile.statements[0];
+  if (!statement || !ts.isVariableStatement(statement)) {
+    return null;
+  }
+
+  const initializer = statement.declarationList.declarations[0]?.initializer;
+  if (!initializer) {
+    return null;
+  }
+
+  if (ts.isNoSubstitutionTemplateLiteral(initializer)) {
+    return createTemplateSyntaxFromPieces(
+      span,
+      text,
+      [
+        createQuasi(
+          span,
+          1,
+          Math.max(text.length - 1, 1),
+          text.slice(1, -1),
+        ),
+      ],
+      [],
+    );
+  }
+
+  if (!ts.isTemplateExpression(initializer)) {
+    return null;
+  }
+
+  const quasis: MacroTemplateQuasi[] = [];
+  const expressions: ExprSyntax[] = [];
+  const prefixLength = TEMPLATE_PREFIX.length;
+
+  const headText = initializer.head.getText(sourceFile);
+  quasis.push(
+    createQuasi(
+      span,
+      initializer.head.getStart(sourceFile) - prefixLength + 1,
+      initializer.head.getEnd() - prefixLength - 2,
+      headText.slice(1, -2),
+    ),
+  );
+
+  for (const templateSpan of initializer.templateSpans) {
+    expressions.push(
+      createExpression(
+        span,
+        templateSpan.expression.getStart(sourceFile) - prefixLength,
+        templateSpan.expression.getEnd() - prefixLength,
+        templateSpan.expression.getText(sourceFile),
+        templateSpan.expression,
+        sourceFile,
+      ),
+    );
+
+    const literalText = templateSpan.literal.getText(sourceFile);
+    const isTail = templateSpan.literal.kind === ts.SyntaxKind.TemplateTail;
+    quasis.push(
+      createQuasi(
+        span,
+        templateSpan.literal.getStart(sourceFile) - prefixLength + 1,
+        templateSpan.literal.getEnd() - prefixLength - (isTail ? 1 : 2),
+        literalText.slice(1, isTail ? -1 : -2),
+      ),
+    );
+  }
+
+  return createTemplateSyntaxFromPieces(span, text, quasis, expressions);
+}

package/project-transform/src/frontend/macro_test_helpers.js

@@ -0,0 +1,82 @@
+import ts from 'typescript';
+import { ASYNC_STDLIB_DECLARATION_FILE, ASYNC_STDLIB_DECLARATION_TEXT, CODEC_STDLIB_DECLARATION_FILE, CODEC_STDLIB_DECLARATION_TEXT, COMPARE_STDLIB_DECLARATION_FILE, COMPARE_STDLIB_DECLARATION_TEXT, DECODE_STDLIB_DECLARATION_FILE, DECODE_STDLIB_DECLARATION_TEXT, DERIVE_STDLIB_DECLARATION_FILE, DERIVE_STDLIB_DECLARATION_TEXT, HASH_STDLIB_DECLARATION_FILE, HASH_STDLIB_DECLARATION_TEXT, HKT_STDLIB_DECLARATION_FILE, HKT_STDLIB_DECLARATION_TEXT, JSON_STDLIB_DECLARATION_FILE, JSON_STDLIB_DECLARATION_TEXT, MATCH_STDLIB_DECLARATION_FILE, MATCH_STDLIB_DECLARATION_TEXT, RESULT_STDLIB_DECLARATION_FILE, RESULT_STDLIB_DECLARATION_TEXT, STDLIB_DECLARATION_FILE, STDLIB_DECLARATION_TEXT, withStdPackageModuleResolution, } from './std_package_support.js';
+import { ERROR_STDLIB_DECLARATION_FILE, ERROR_STDLIB_DECLARATION_TEXT, withErrorStdlibModuleResolution, } from './error_stdlib_support.js';
+import { SQL_STDLIB_DECLARATION_FILE, SQL_STDLIB_DECLARATION_TEXT, withSqlStdlibModuleResolution, } from './sql_stdlib_support.js';
+import { getAlwaysAvailableBuiltinMacroSiteKinds, getBuiltinMacroSiteKindsBySpecifier, } from './builtin_macro_support.js';
+import { createPreparedProgram } from './project_frontend.js';
+function createBaseHost(files) {
+    const baseHost = ts.createCompilerHost({
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.ESNext,
+        noEmit: true,
+    });
+    return withSqlStdlibModuleResolution(withErrorStdlibModuleResolution(withStdPackageModuleResolution({
+        ...baseHost,
+        fileExists(fileName) {
+            return files.has(fileName) || baseHost.fileExists(fileName);
+        },
+        readFile(fileName) {
+            return files.get(fileName) ?? baseHost.readFile(fileName);
+        },
+    })));
+}
+export function createPreparedProgramForMacroTest(files, options = {}) {
+    const fileMap = new Map(Object.entries(files));
+    if (!fileMap.has(STDLIB_DECLARATION_FILE)) {
+        fileMap.set(STDLIB_DECLARATION_FILE, STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(HKT_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(HKT_STDLIB_DECLARATION_FILE, HKT_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(RESULT_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(RESULT_STDLIB_DECLARATION_FILE, RESULT_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(MATCH_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(MATCH_STDLIB_DECLARATION_FILE, MATCH_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(JSON_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(JSON_STDLIB_DECLARATION_FILE, JSON_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(COMPARE_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(COMPARE_STDLIB_DECLARATION_FILE, COMPARE_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(HASH_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(HASH_STDLIB_DECLARATION_FILE, HASH_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(DERIVE_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(DERIVE_STDLIB_DECLARATION_FILE, DERIVE_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(DECODE_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(DECODE_STDLIB_DECLARATION_FILE, DECODE_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(CODEC_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(CODEC_STDLIB_DECLARATION_FILE, CODEC_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(ASYNC_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(ASYNC_STDLIB_DECLARATION_FILE, ASYNC_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(ERROR_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(ERROR_STDLIB_DECLARATION_FILE, ERROR_STDLIB_DECLARATION_TEXT);
+    }
+    if (!fileMap.has(SQL_STDLIB_DECLARATION_FILE)) {
+        fileMap.set(SQL_STDLIB_DECLARATION_FILE, SQL_STDLIB_DECLARATION_TEXT);
+    }
+    return createPreparedProgram({
+        alwaysAvailableMacroSiteKinds: getAlwaysAvailableBuiltinMacroSiteKinds(),
+        baseHost: createBaseHost(fileMap),
+        importedMacroSiteKindsBySpecifier: new Map([
+            ...getBuiltinMacroSiteKindsBySpecifier().entries(),
+            ...(options.importedMacroSiteKindsBySpecifier ?? new Map()).entries(),
+        ]),
+        options: {
+            noEmit: true,
+            strict: true,
+            target: ts.ScriptTarget.ES2022,
+            module: ts.ModuleKind.ESNext,
+        },
+        rootNames: [...fileMap.keys()],
+    });
+}
+export function printSourceFileForMacroTest(sourceFile) {
+    return ts.createPrinter().printFile(sourceFile);
+}

package/project-transform/src/frontend/macro_test_helpers.ts

@@ -0,0 +1,136 @@
+import ts from 'typescript';
+
+import {
+  ASYNC_STDLIB_DECLARATION_FILE,
+  ASYNC_STDLIB_DECLARATION_TEXT,
+  CODEC_STDLIB_DECLARATION_FILE,
+  CODEC_STDLIB_DECLARATION_TEXT,
+  COMPARE_STDLIB_DECLARATION_FILE,
+  COMPARE_STDLIB_DECLARATION_TEXT,
+  DECODE_STDLIB_DECLARATION_FILE,
+  DECODE_STDLIB_DECLARATION_TEXT,
+  DERIVE_STDLIB_DECLARATION_FILE,
+  DERIVE_STDLIB_DECLARATION_TEXT,
+  HASH_STDLIB_DECLARATION_FILE,
+  HASH_STDLIB_DECLARATION_TEXT,
+  HKT_STDLIB_DECLARATION_FILE,
+  HKT_STDLIB_DECLARATION_TEXT,
+  JSON_STDLIB_DECLARATION_FILE,
+  JSON_STDLIB_DECLARATION_TEXT,
+  MATCH_STDLIB_DECLARATION_FILE,
+  MATCH_STDLIB_DECLARATION_TEXT,
+  RESULT_STDLIB_DECLARATION_FILE,
+  RESULT_STDLIB_DECLARATION_TEXT,
+  STDLIB_DECLARATION_FILE,
+  STDLIB_DECLARATION_TEXT,
+  withStdPackageModuleResolution,
+} from './std_package_support.ts';
+import {
+  ERROR_STDLIB_DECLARATION_FILE,
+  ERROR_STDLIB_DECLARATION_TEXT,
+  withErrorStdlibModuleResolution,
+} from './error_stdlib_support.ts';
+import {
+  SQL_STDLIB_DECLARATION_FILE,
+  SQL_STDLIB_DECLARATION_TEXT,
+  withSqlStdlibModuleResolution,
+} from './sql_stdlib_support.ts';
+import {
+  getAlwaysAvailableBuiltinMacroSiteKinds,
+  getBuiltinMacroSiteKindsBySpecifier,
+} from './builtin_macro_support.ts';
+import { createPreparedProgram } from './project_frontend.ts';
+
+interface CreatePreparedProgramForMacroTestOptions {
+  readonly importedMacroSiteKindsBySpecifier?: ReadonlyMap<
+    string,
+    ReadonlyMap<string, import('./project_frontend.ts').ImportedMacroSiteKind>
+  >;
+}
+
+function createBaseHost(files: ReadonlyMap<string, string>): ts.CompilerHost {
+  const baseHost = ts.createCompilerHost({
+    target: ts.ScriptTarget.ES2022,
+    module: ts.ModuleKind.ESNext,
+    noEmit: true,
+  });
+
+  return withSqlStdlibModuleResolution(
+    withErrorStdlibModuleResolution(
+      withStdPackageModuleResolution({
+        ...baseHost,
+        fileExists(fileName: string): boolean {
+          return files.has(fileName) || baseHost.fileExists(fileName);
+        },
+        readFile(fileName: string): string | undefined {
+          return files.get(fileName) ?? baseHost.readFile(fileName);
+        },
+      }),
+    ),
+  );
+}
+
+export function createPreparedProgramForMacroTest(
+  files: Readonly<Record<string, string>>,
+  options: CreatePreparedProgramForMacroTestOptions = {},
+) {
+  const fileMap = new Map(Object.entries(files));
+  if (!fileMap.has(STDLIB_DECLARATION_FILE)) {
+    fileMap.set(STDLIB_DECLARATION_FILE, STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(HKT_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(HKT_STDLIB_DECLARATION_FILE, HKT_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(RESULT_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(RESULT_STDLIB_DECLARATION_FILE, RESULT_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(MATCH_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(MATCH_STDLIB_DECLARATION_FILE, MATCH_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(JSON_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(JSON_STDLIB_DECLARATION_FILE, JSON_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(COMPARE_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(COMPARE_STDLIB_DECLARATION_FILE, COMPARE_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(HASH_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(HASH_STDLIB_DECLARATION_FILE, HASH_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(DERIVE_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(DERIVE_STDLIB_DECLARATION_FILE, DERIVE_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(DECODE_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(DECODE_STDLIB_DECLARATION_FILE, DECODE_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(CODEC_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(CODEC_STDLIB_DECLARATION_FILE, CODEC_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(ASYNC_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(ASYNC_STDLIB_DECLARATION_FILE, ASYNC_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(ERROR_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(ERROR_STDLIB_DECLARATION_FILE, ERROR_STDLIB_DECLARATION_TEXT);
+  }
+  if (!fileMap.has(SQL_STDLIB_DECLARATION_FILE)) {
+    fileMap.set(SQL_STDLIB_DECLARATION_FILE, SQL_STDLIB_DECLARATION_TEXT);
+  }
+  return createPreparedProgram({
+    alwaysAvailableMacroSiteKinds: getAlwaysAvailableBuiltinMacroSiteKinds(),
+    baseHost: createBaseHost(fileMap),
+    importedMacroSiteKindsBySpecifier: new Map([
+      ...getBuiltinMacroSiteKindsBySpecifier().entries(),
+      ...(options.importedMacroSiteKindsBySpecifier ?? new Map()).entries(),
+    ]),
+    options: {
+      noEmit: true,
+      strict: true,
+      target: ts.ScriptTarget.ES2022,
+      module: ts.ModuleKind.ESNext,
+    },
+    rootNames: [...fileMap.keys()],
+  });
+}
+
+export function printSourceFileForMacroTest(sourceFile: ts.SourceFile): string {
+  return ts.createPrinter().printFile(sourceFile);
+}

package/project-transform/src/frontend/macro_types.js

@@ -0,0 +1 @@
+export {};

package/project-transform/src/frontend/macro_types.ts

@@ -0,0 +1,103 @@
+export interface SourceSpan {
+  fileName: string;
+  start: number;
+  end: number;
+}
+
+export type HashKind = 'macro-start' | 'private-name';
+
+export interface ScannedHash {
+  kind: HashKind;
+  nameText: string;
+  span: SourceSpan;
+}
+
+export type HashDiagnosticReason =
+  | 'not-followed-by-identifier'
+  | 'illegal-context';
+
+export interface HashDiagnostic {
+  fileName: string;
+  reason: HashDiagnosticReason;
+  span: SourceSpan;
+}
+
+export interface ScanResult {
+  diagnostics: readonly HashDiagnostic[];
+  hashes: readonly ScannedHash[];
+}
+
+export type ParsedMacroInvocationKind =
+  | 'block'
+  | 'arglist'
+  | 'arglist+block'
+  | 'decl'
+  | 'arglist+decl';
+
+export type ParsedMacroDeclarationKind = 'class' | 'function' | 'interface' | 'typeAlias';
+
+export type ParsedMacroArgument =
+  | { kind: 'ExprArg'; span: SourceSpan }
+  | { kind: 'BlockArg'; span: SourceSpan };
+
+export interface ParsedMacroInvocation {
+  argumentSpans: readonly ParsedMacroArgument[];
+  declarationKind?: ParsedMacroDeclarationKind;
+  declarationName?: string | null;
+  preserveDeclaration?: boolean;
+  declarationSpan?: SourceSpan;
+  fileName: string;
+  hashSpan: SourceSpan;
+  nameSpan: SourceSpan;
+  nameText: string;
+  siteKind: 'annotation' | 'call' | 'tag';
+  span: SourceSpan;
+  trailingBlockSpan?: SourceSpan;
+  invocationKind: ParsedMacroInvocationKind;
+  rewriteKind: 'expr' | 'stmt';
+}
+
+export type MacroParseDiagnosticReason =
+  | 'legacy-syntax'
+  | 'missing-macro-name'
+  | 'unterminated-arglist'
+  | 'unterminated-block'
+  | 'missing-expression'
+  | 'unexpected-token';
+
+export interface MacroParseDiagnostic {
+  fileName: string;
+  reason: MacroParseDiagnosticReason;
+  span: SourceSpan;
+}
+
+export interface MacroGeneratedSpan {
+  generatedEnd: number;
+  generatedFileName: string;
+  generatedStart: number;
+  id: number;
+  originalSpan: SourceSpan;
+}
+
+export interface MacroReplacementMappedSegment {
+  originalEnd: number;
+  originalStart: number;
+  rewrittenEnd: number;
+  rewrittenStart: number;
+}
+
+export interface MacroReplacement {
+  id: number;
+  mappedSegments?: readonly MacroReplacementMappedSegment[];
+  originalSpan: SourceSpan;
+  rewriteText: string;
+  rewrittenSpan: SourceSpan;
+}
+
+export interface RewriteResult {
+  diagnostics: readonly (HashDiagnostic | MacroParseDiagnostic)[];
+  generatedSpans: readonly MacroGeneratedSpan[];
+  macrosById: ReadonlyMap<number, ParsedMacroInvocation>;
+  replacements: readonly MacroReplacement[];
+  rewrittenText: string;
+}

package/project-transform/src/frontend/macro_vm.js

@@ -0,0 +1,39 @@
+import { createContext, Script } from 'node:vm';
+import { dirname } from '../platform/path.js';
+const MACRO_MODULE_PARAMETER_NAMES = [
+    'exports',
+    'module',
+    'require',
+    '__filename',
+    '__dirname',
+    'globalThis',
+    'Math',
+    'crypto',
+    'Deno',
+    'Date',
+    'Function',
+    'console',
+    'clearInterval',
+    'clearTimeout',
+    'process',
+    'performance',
+    'queueMicrotask',
+    'setInterval',
+    'setTimeout',
+    'Bun',
+    'fetch',
+];
+export function createMacroVmModuleEvaluator() {
+    const context = createContext({});
+    const globalObject = new Script('globalThis').runInContext(context);
+    return {
+        globalObject,
+        evaluateCommonJsModule(javaScriptText, options) {
+            const script = new Script(`(function(${MACRO_MODULE_PARAMETER_NAMES.join(', ')}) {\n"use strict";\n${javaScriptText}\n})`, { filename: options.fileName });
+            const wrapper = script.runInContext(context);
+            const module = { exports: options.exports };
+            wrapper(module.exports, module, options.require, options.fileName, dirname(options.fileName), options.globalThis, options.math, options.crypto, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+            return module.exports;
+        },
+    };
+}

package/project-transform/src/frontend/macro_vm.ts

@@ -0,0 +1,113 @@
+import { createContext, Script } from 'node:vm';
+
+import { dirname } from '../platform/path.ts';
+
+const MACRO_MODULE_PARAMETER_NAMES = [
+  'exports',
+  'module',
+  'require',
+  '__filename',
+  '__dirname',
+  'globalThis',
+  'Math',
+  'crypto',
+  'Deno',
+  'Date',
+  'Function',
+  'console',
+  'clearInterval',
+  'clearTimeout',
+  'process',
+  'performance',
+  'queueMicrotask',
+  'setInterval',
+  'setTimeout',
+  'Bun',
+  'fetch',
+] as const;
+
+type MacroModuleWrapper = (
+  exports: Record<string, unknown>,
+  module: { exports: Record<string, unknown> },
+  require: (specifier: string) => unknown,
+  __filename: string,
+  __dirname: string,
+  globalObject: typeof globalThis,
+  mathObject: typeof globalThis.Math,
+  cryptoObject: Crypto,
+  Deno: undefined,
+  Date: undefined,
+  Function: undefined,
+  console: undefined,
+  clearInterval: undefined,
+  clearTimeout: undefined,
+  process: undefined,
+  performance: undefined,
+  queueMicrotask: undefined,
+  setInterval: undefined,
+  setTimeout: undefined,
+  Bun: undefined,
+  fetch: undefined,
+) => void;
+
+export interface EvaluateMacroVmModuleOptions {
+  readonly crypto: Crypto;
+  readonly exports: Record<string, unknown>;
+  readonly fileName: string;
+  readonly globalThis: typeof globalThis;
+  readonly math: typeof globalThis.Math;
+  readonly require: (specifier: string) => unknown;
+}
+
+export interface MacroVmModuleEvaluator {
+  readonly globalObject: typeof globalThis;
+  evaluateCommonJsModule(
+    javaScriptText: string,
+    options: EvaluateMacroVmModuleOptions,
+  ): Record<string, unknown>;
+}
+
+export function createMacroVmModuleEvaluator(): MacroVmModuleEvaluator {
+  const context = createContext({});
+  const globalObject = new Script('globalThis').runInContext(context) as typeof globalThis;
+
+  return {
+    globalObject,
+
+    evaluateCommonJsModule(
+      javaScriptText: string,
+      options: EvaluateMacroVmModuleOptions,
+    ): Record<string, unknown> {
+      const script = new Script(
+        `(function(${MACRO_MODULE_PARAMETER_NAMES.join(', ')}) {\n"use strict";\n${javaScriptText}\n})`,
+        { filename: options.fileName },
+      );
+      const wrapper = script.runInContext(context) as MacroModuleWrapper;
+      const module = { exports: options.exports };
+      wrapper(
+        module.exports,
+        module,
+        options.require,
+        options.fileName,
+        dirname(options.fileName),
+        options.globalThis,
+        options.math,
+        options.crypto,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+        undefined,
+      );
+      return module.exports;
+    },
+  };
+}