wesl 0.7.22 → 0.7.24

package/dist/index.d.ts

@@ -171,6 +171,7 @@ interface SrcModule {
 }
 /** a src declaration or reference to an ident */
 type Ident = DeclIdent | RefIdent;
+type ScopeItem = Ident | Scope;
 /** LATER change this to a Map, so that `toString` isn't accidentally a condition */
 type Conditions = Record<string, boolean>;
 interface IdentBase {
@@ -229,7 +230,7 @@ interface ScopeBase {
   id: number;
   /** null for root scope in a module */
   parent: Scope | null;
-  contents: (Ident | Scope)[];
+  contents: ScopeItem[];
   /** Conditional attribute (@if or @else) for this scope */
   condAttribute?: IfAttribute | ElifAttribute | ElseAttribute;
 }
@@ -820,6 +821,13 @@ declare class BundleResolver implements ModuleResolver {
   private moduleToFilePath;
   private modulePathToDebugPath;
 }
+/** Wrap a resolver so each resolveModule call returns a freshly parsed AST.
+ * Use this when reusing a resolver across multiple link() calls, since binding
+ * mutates ASTs in place. Each wrapper instance caches within itself, so within
+ * a single link pass the same module path returns the same AST object.
+ * Re-parsing is faster than structuredClone due to cycle-tracking overhead
+ * from Scope.parent backpointers. */
+declare function freshResolver(inner: ModuleResolver): ModuleResolver;
 /** Convert file path to module path (e.g., "foo/bar.wesl" to "package::foo::bar"). */
 declare function fileToModulePath(filePath: string, packageName: string, treatLibAsRoot: boolean): string;
 //#endregion
@@ -976,6 +984,8 @@ interface BindIdentsParams extends Pick<LinkRegistryParams, "resolver" | "condit
   virtuals?: VirtualLibrarySet;
   /** If true, accumulate unbound identifiers into BindResults.unbound instead of throwing. */
   accumulateUnbound?: true;
+  /** Visit all conditional branches (for dependency discovery). */
+  discoveryMode?: boolean;
 }
 /** Bind ref idents to declarations and mangle global declaration names. */
 declare function bindIdents(params: BindIdentsParams): BindResults;
@@ -1016,6 +1026,17 @@ interface BindContext {
  */
 declare function bindIdentsRecursive(scope: Scope, bindContext: BindContext, liveDecls: LiveDecls): DeclIdent[];
 //#endregion
+//#region src/Conditions.d.ts
+/**
+ * Filter elements based on @if/@else conditional logic.
+ * This function processes elements sequentially to handle @if/@else chains correctly.
+ *
+ * @param elements Array of elements at the same scope level
+ * @param conditions Current conditional compilation settings
+ * @return Array of valid elements after applying @if/@else logic
+ */
+declare function filterValidElements<T extends AbstractElem>(elements: readonly T[], conditions: Conditions): T[];
+//#endregion
 //#region src/debug/ASTtoString.d.ts
 declare function astToString(elem: AbstractElem, indent?: number): string;
 /** @return string representation of an attribute (for test/debug) */
@@ -1043,6 +1064,23 @@ declare function identToString(ident?: Ident): string;
 declare function findUnboundIdents(resolver: BatchModuleResolver): string[][];
 /** Find unbound references with full position info. */
 declare function findUnboundRefs(resolver: BatchModuleResolver): UnboundRef[];
+/** Thin decorator that records which modules were resolved. */
+declare class TrackingResolver implements ModuleResolver {
+  #private;
+  readonly visited: Set<string>;
+  constructor(inner: ModuleResolver);
+  resolveModule(modulePath: string): WeslAST | undefined;
+}
+/**
+ * Discover reachable modules and unbound external refs from a single root.
+ *
+ * Traces the import graph from `rootModuleName`, returning only the reachable
+ * local modules in `weslSrc` and unresolved external references in `unbound`.
+ */
+declare function discoverModules(weslSrc: Record<string, string>, resolver: ModuleResolver, rootModuleName: string, packageName?: string): {
+  weslSrc: Record<string, string>;
+  unbound: string[][];
+};
 //#endregion
 //#region src/discovery/PackageNameUtils.d.ts
 /** Package name sanitization for WESL.
@@ -1139,6 +1177,9 @@ declare const textureStorageTypes = "\n  texture_storage_1d texture_storage_2d t
 declare const stdTypes: string[];
 /** https://www.w3.org/TR/WGSL/#predeclared-enumerants  */
 declare const stdEnumerants: string[];
+/** WGSL standard attributes whose params need binding (e.g., @workgroup_size).
+ * See: https://www.w3.org/TR/WGSL/#attributes */
+declare const wgslStandardAttributes: Set<string>;
 /** return true if the name is for a built in type (not a user struct) */
 declare function stdType(name: string): boolean;
 /** return true if the name is for a built in fn (not a user function) */
@@ -1241,4 +1282,4 @@ declare function offsetToLineNumber(offset: number, text: string): [lineNum: num
  */
 declare function errorHighlight(source: string, span: Span): [string, string];
 //#endregion
-export { AbstractElem, AbstractElemBase, AliasElem, Attribute, AttributeElem, BatchModuleResolver, BinaryExpression, BinaryOperator, BindIdentsParams, BindResults, BindingAST, BindingStructElem, BlockStatement, BoundAndTransformed, BuiltinAttribute, BundleResolver, ComponentExpression, ComponentMemberExpression, CompositeResolver, ConditionalAttribute, Conditions, ConstAssertElem, ConstElem, ContainerElem, ContinuingElem, DeclIdent, DeclIdentElem, DeclarationElem, DiagnosticAttribute, DiagnosticDirective, DiagnosticRule, DirectiveElem, DirectiveVariant, ElemKindMap, ElemWithAttributes, ElemWithContentsBase, ElifAttribute, ElseAttribute, EmittableElem, EnableDirective, ExpressionElem, ExtendedGPUValidationError, FnElem, FnParamElem, FunctionCallExpression, GlobalDeclarationElem, GlobalVarElem, GrammarElem, HasAttributes, Ident, IfAttribute, ImportCollection, ImportElem, ImportItem, ImportSegment, ImportStatement, InterpolateAttribute, LetElem, LexicalScope, LinkConfig, LinkParams, LinkRegistryParams, LinkedWesl, LinkerTransform, Literal, LiveDecls, ManglerFn, ModuleElem, ModuleResolver, NameElem, OpenElem, OverrideElem, ParenthesizedExpression, ParseError, type ParseOptions, PartialScope, RecordResolver, RecordResolverOptions, RefIdent, RefIdentElem, RequiresDirective, Scope, SimpleMemberRef, Span, SrcMap, SrcMapBuilder, SrcMapEntry, SrcModule, SrcPosition, SrcWithPath, StableState, StandardAttribute, StatementElem, StructElem, StructMemberElem, StuffElem, SwitchClauseElem, SyntheticElem, TerminalElem, TextElem, TransformedAST, TranslateTimeExpressionElem, TypeRefElem, TypeTemplateParameter, TypedDeclElem, UnaryExpression, UnaryOperator, UnboundRef, UnknownExpressionElem, VarElem, VirtualLibrary, VirtualLibraryFn, VirtualLibrarySet, WeslAST, WeslBundle, WeslDevice, WeslGPUCompilationInfo, WeslGPUCompilationMessage, WeslJsPlugin, WeslParseContext, WeslParseError, WeslParseState, WeslStream, _linkSync, astToString, attributeToString, bindAndTransform, bindIdents, bindIdentsRecursive, bindingStructsPlugin, childIdent, childScope, containsScope, debug, debugContentsToString, emptyScope, errorHighlight, fileToModulePath, filterMap, findAllRootDecls, findMap, findRefsToBindingStructs, findUnboundIdents, findUnboundRefs, findValidRootDecls, flatImports, groupBy, grouped, identToString, last, lengthPrefixMangle, link, linkRegistry, liveDeclsToString, log, lowerBindingStructs, makeLiveDecls, makeWeslDevice, mapForward, mapValues, markBindingStructs, markEntryTypes, mergeScope, minimalMangle, minimallyMangledName, modulePartsToRelativePath, moduleToRelativePath, multiKeySet, multisampledTextureTypes, nextIdentId, noSuffix, normalize, normalizeDebugRoot, normalizeModuleName, npmNameVariations, offsetToLineNumber, overlapTail, parseSrcModule, partition, publicDecl, replaceWords, requestWeslDevice, resetScopeIds, resolveModulePath, sampledTextureTypes, sanitizePackageName, scan, scopeToString, scopeToStringLong, srcLog, stdEnumerant, stdEnumerants, stdFn, stdFns, stdType, stdTypes, textureStorageTypes, transformBindingReference, transformBindingStruct, underscoreMangle, validation, withLoggerAsync };
+export { AbstractElem, AbstractElemBase, AliasElem, Attribute, AttributeElem, BatchModuleResolver, BinaryExpression, BinaryOperator, BindIdentsParams, BindResults, BindingAST, BindingStructElem, BlockStatement, BoundAndTransformed, BuiltinAttribute, BundleResolver, ComponentExpression, ComponentMemberExpression, CompositeResolver, ConditionalAttribute, Conditions, ConstAssertElem, ConstElem, ContainerElem, ContinuingElem, DeclIdent, DeclIdentElem, DeclarationElem, DiagnosticAttribute, DiagnosticDirective, DiagnosticRule, DirectiveElem, DirectiveVariant, ElemKindMap, ElemWithAttributes, ElemWithContentsBase, ElifAttribute, ElseAttribute, EmittableElem, EnableDirective, ExpressionElem, ExtendedGPUValidationError, FnElem, FnParamElem, FunctionCallExpression, GlobalDeclarationElem, GlobalVarElem, GrammarElem, HasAttributes, Ident, IfAttribute, ImportCollection, ImportElem, ImportItem, ImportSegment, ImportStatement, InterpolateAttribute, LetElem, LexicalScope, LinkConfig, LinkParams, LinkRegistryParams, LinkedWesl, LinkerTransform, Literal, LiveDecls, ManglerFn, ModuleElem, ModuleResolver, NameElem, OpenElem, OverrideElem, ParenthesizedExpression, ParseError, type ParseOptions, PartialScope, RecordResolver, RecordResolverOptions, RefIdent, RefIdentElem, RequiresDirective, Scope, ScopeItem, SimpleMemberRef, Span, SrcMap, SrcMapBuilder, SrcMapEntry, SrcModule, SrcPosition, SrcWithPath, StableState, StandardAttribute, StatementElem, StructElem, StructMemberElem, StuffElem, SwitchClauseElem, SyntheticElem, TerminalElem, TextElem, TrackingResolver, TransformedAST, TranslateTimeExpressionElem, TypeRefElem, TypeTemplateParameter, TypedDeclElem, UnaryExpression, UnaryOperator, UnboundRef, UnknownExpressionElem, VarElem, VirtualLibrary, VirtualLibraryFn, VirtualLibrarySet, WeslAST, WeslBundle, WeslDevice, WeslGPUCompilationInfo, WeslGPUCompilationMessage, WeslJsPlugin, WeslParseContext, WeslParseError, WeslParseState, WeslStream, _linkSync, astToString, attributeToString, bindAndTransform, bindIdents, bindIdentsRecursive, bindingStructsPlugin, childIdent, childScope, containsScope, debug, debugContentsToString, discoverModules, emptyScope, errorHighlight, fileToModulePath, filterMap, filterValidElements, findAllRootDecls, findMap, findRefsToBindingStructs, findUnboundIdents, findUnboundRefs, findValidRootDecls, flatImports, freshResolver, groupBy, grouped, identToString, last, lengthPrefixMangle, link, linkRegistry, liveDeclsToString, log, lowerBindingStructs, makeLiveDecls, makeWeslDevice, mapForward, mapValues, markBindingStructs, markEntryTypes, mergeScope, minimalMangle, minimallyMangledName, modulePartsToRelativePath, moduleToRelativePath, multiKeySet, multisampledTextureTypes, nextIdentId, noSuffix, normalize, normalizeDebugRoot, normalizeModuleName, npmNameVariations, offsetToLineNumber, overlapTail, parseSrcModule, partition, publicDecl, replaceWords, requestWeslDevice, resetScopeIds, resolveModulePath, sampledTextureTypes, sanitizePackageName, scan, scopeToString, scopeToStringLong, srcLog, stdEnumerant, stdEnumerants, stdFn, stdFns, stdType, stdTypes, textureStorageTypes, transformBindingReference, transformBindingStruct, underscoreMangle, validation, wgslStandardAttributes, withLoggerAsync };