@soundscript/soundscript 0.1.13 → 0.1.15

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

@@ -0,0 +1,5 @@
+import { createAdvancedMacroContext } from './macro_advanced_context.js';
+// Legacy semantic-macro entrypoints now share the advanced AST-backed context.
+export function createSemanticMacroContext(preparedProgram, resolved) {
+    return createAdvancedMacroContext(preparedProgram, resolved);
+}

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

@@ -0,0 +1,12 @@
+import { createAdvancedMacroContext } from './macro_advanced_context.ts';
+import type { MacroContext } from './macro_api.ts';
+import type { ResolvedMacroPlaceholder } from './macro_resolver.ts';
+import type { PreparedProgram } from './project_frontend.ts';
+
+// Legacy semantic-macro entrypoints now share the advanced AST-backed context.
+export function createSemanticMacroContext(
+  preparedProgram: PreparedProgram,
+  resolved: ResolvedMacroPlaceholder,
+): MacroContext {
+  return createAdvancedMacroContext(preparedProgram, resolved);
+}

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

@@ -0,0 +1,24 @@
+const SEMANTIC_MACRO_OUTPUT_BRAND = Symbol.for('soundscript.semantic-macro-output');
+export function createSemanticValueRewriteOutput(placement, preludeStatements, replacementExpr) {
+    return {
+        [SEMANTIC_MACRO_OUTPUT_BRAND]: true,
+        kind: 'value_rewrite',
+        placement,
+        preludeStatements,
+        replacementExpr,
+    };
+}
+export function isSemanticMacroOutput(value) {
+    return typeof value === 'object' &&
+        value !== null &&
+        SEMANTIC_MACRO_OUTPUT_BRAND in value &&
+        value[SEMANTIC_MACRO_OUTPUT_BRAND] === true &&
+        'kind' in value &&
+        value.kind === 'value_rewrite' &&
+        'placement' in value &&
+        (value.placement === 'variable-initializer' || value.placement === 'assignment-statement') &&
+        'preludeStatements' in value &&
+        Array.isArray(value.preludeStatements) &&
+        'replacementExpr' in value &&
+        typeof value.replacementExpr === 'string';
+}

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

@@ -0,0 +1,47 @@
+const SEMANTIC_MACRO_OUTPUT_BRAND = Symbol.for('soundscript.semantic-macro-output');
+
+interface SemanticMacroOutputBase {
+  readonly [SEMANTIC_MACRO_OUTPUT_BRAND]: true;
+}
+
+export type SemanticMacroPlacementKind =
+  | 'variable-initializer'
+  | 'assignment-statement';
+
+export interface SemanticValueRewriteOutput extends SemanticMacroOutputBase {
+  readonly kind: 'value_rewrite';
+  readonly placement: SemanticMacroPlacementKind;
+  readonly preludeStatements: readonly string[];
+  readonly replacementExpr: string;
+}
+
+export type SemanticMacroOutput = SemanticValueRewriteOutput;
+
+export function createSemanticValueRewriteOutput(
+  placement: SemanticMacroPlacementKind,
+  preludeStatements: readonly string[],
+  replacementExpr: string,
+): SemanticValueRewriteOutput {
+  return {
+    [SEMANTIC_MACRO_OUTPUT_BRAND]: true,
+    kind: 'value_rewrite',
+    placement,
+    preludeStatements,
+    replacementExpr,
+  };
+}
+
+export function isSemanticMacroOutput(value: unknown): value is SemanticMacroOutput {
+  return typeof value === 'object' &&
+    value !== null &&
+    SEMANTIC_MACRO_OUTPUT_BRAND in value &&
+    value[SEMANTIC_MACRO_OUTPUT_BRAND] === true &&
+    'kind' in value &&
+    value.kind === 'value_rewrite' &&
+    'placement' in value &&
+    (value.placement === 'variable-initializer' || value.placement === 'assignment-statement') &&
+    'preludeStatements' in value &&
+    Array.isArray(value.preludeStatements) &&
+    'replacementExpr' in value &&
+    typeof value.replacementExpr === 'string';
+}

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

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

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

@@ -0,0 +1,98 @@
+import type { SourceSpan } from './macro_types.ts';
+
+export interface MacroType {
+  readonly displayText: string;
+}
+
+export type MacroRuntimeKind =
+  | 'bigint'
+  | 'boolean'
+  | 'f32'
+  | 'f64'
+  | 'function'
+  | 'i16'
+  | 'i32'
+  | 'i64'
+  | 'i8'
+  | 'number'
+  | 'object'
+  | 'string'
+  | 'symbol'
+  | 'u16'
+  | 'u32'
+  | 'u64'
+  | 'u8'
+  | 'undefined';
+
+export type MacroFiniteCase =
+  | {
+    readonly elements: readonly MacroFiniteTupleElement[];
+    readonly exactLength: number;
+    readonly kind: 'array';
+  }
+  | { readonly kind: 'class'; readonly className: string }
+  | { readonly kind: 'literal'; readonly code: string }
+  | {
+    readonly kind: 'object';
+    readonly properties: readonly MacroFiniteObjectProperty[];
+  }
+  | { readonly kind: 'runtime'; readonly typeName: MacroRuntimeKind };
+
+export interface MacroFiniteObjectProperty {
+  readonly finiteCase: MacroFiniteCase | null;
+  readonly key: string;
+}
+
+export interface MacroFiniteTupleElement {
+  readonly finiteCase: MacroFiniteCase | null;
+}
+
+export interface MacroFunctionContext {
+  readonly fileName: string;
+  readonly hasDeclaredReturnType: boolean;
+  readonly isAsync: boolean;
+  readonly isGenerator: boolean;
+  readonly name?: string;
+  readonly returnType: MacroType;
+  readonly span: SourceSpan;
+}
+
+export interface MacroDependencyReference {
+  readonly kind: 'binding' | 'this-member';
+  readonly name: string;
+}
+
+export interface MacroDependencySet {
+  readonly dependencies: readonly MacroDependencyReference[];
+  readonly unknown: boolean;
+}
+
+export interface CanonicalResultInfo {
+  readonly errType: MacroType;
+  readonly family: 'option' | 'result';
+  readonly okType: MacroType;
+  readonly resultType: MacroType;
+}
+
+export interface CanonicalResultCarrierInfo extends CanonicalResultInfo {
+  readonly requiresAwait: boolean;
+}
+
+export interface CanonicalFailureInfo {
+  readonly failureType: MacroType;
+}
+
+export interface MacroTryResultCarrierInfo extends CanonicalResultInfo {
+  readonly kind: 'result';
+}
+
+export interface MacroTryNullishCarrierInfo {
+  readonly carrierType: MacroType;
+  readonly kind: 'nullish';
+  readonly nullishKinds: readonly ('null' | 'undefined')[];
+  readonly valueType: MacroType;
+}
+
+export type MacroTryCarrierInfo =
+  | MacroTryNullishCarrierInfo
+  | MacroTryResultCarrierInfo;