wesl 0.7.21 → 0.7.23

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;
 }
@@ -725,9 +726,13 @@ declare class LinkedWesl {
  * . lengthPrefixMangle constructs long but predictable names for every declaration
  */
 type ManglerFn = (/** global declaration that needs a name */
+
 decl: DeclIdent, /** module that contains the declaration */
+
 srcModule: SrcModule, /** name at use site (possibly import as renamed from declaration) */
+
 proposedName: string, /** current set of mangled root level names for the linked result (read only) */
+
 globalNames: Set<string>) => string;
 /**
  * Construct a globally unique name based on the declaration
@@ -972,11 +977,15 @@ 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;
 /** Find all conditionally valid declarations at the root level. */
 declare function findValidRootDecls(rootScope: Scope, conditions: Conditions): DeclIdent[];
+/** Find all declarations at the root level, ignoring conditions. */
+declare function findAllRootDecls(rootScope: Scope): DeclIdent[];
 /** Find a public declaration with the given original name. */
 declare function publicDecl(scope: Scope, name: string, conditions: Conditions): DeclIdent | undefined;
 /** State used during the recursive scope tree walk to bind references to declarations. */
@@ -1000,6 +1009,8 @@ interface BindContext {
   unbound?: UnboundRef[];
   /** Don't follow references from declarations (for library dependency detection). */
   dontFollowDecls?: boolean;
+  /** Visit all conditional branches (for dependency discovery). */
+  discoveryMode?: boolean;
 }
 /**
  * Recursively bind references to declarations in this scope and child scopes.
@@ -1008,6 +1019,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) */
@@ -1035,6 +1057,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.
@@ -1131,6 +1170,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) */
@@ -1233,4 +1275,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, 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, 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 };