wesl 0.7.23 → 0.7.24

package/dist/index.d.ts

@@ -821,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
@@ -1275,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, 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 };
+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 };

package/dist/index.js

@@ -85,7 +85,6 @@ function getStarts(src) {
 	startCache.set(src, starts);
 	return starts;
 }
-
 //#endregion
 //#region src/Assertions.ts
 /** checks whether a condition is true, otherwise throws */
@@ -94,7 +93,7 @@ function assertThat(condition, msg) {
 }
 /** when debug is enabled, checks whether a condition is true, otherwise throws */
 function assertThatDebug(condition, msg) {
-	if (debug) assertThat(condition, msg);
+	assertThat(condition, msg);
 }
 /**
 * Useful to validate that all cases are handled,
@@ -112,7 +111,6 @@ var ErrorWithData = class extends Error {
 		this.data = options?.data;
 	}
 };
-
 //#endregion
 //#region src/Util.ts
 function multiKeySet(m, a, b, v) {
@@ -243,7 +241,6 @@ function errorHighlight(source, span) {
 	const linePos = Math.max(0, span[0] - lineStartOffset);
 	return [source.slice(lineStartOffset, lineEndOffset), " ".repeat(linePos) + "^".repeat(caretCount)];
 }
-
 //#endregion
 //#region src/vlq/vlq.ts
 /*!
@@ -280,7 +277,6 @@ function encode_integer(num) {
 	} while (enc > 0);
 	return result;
 }
-
 //#endregion
 //#region src/ClickableError.ts
 const isBrowser = "document" in globalThis;
@@ -295,7 +291,7 @@ function throwClickableError(params) {
 		length
 	};
 	error.weslLocation = weslLocation;
-	if (!debug || !isBrowser) throw error;
+	if (!isBrowser) throw error;
 	const mappings = encodeVlq([
 		0,
 		0,
@@ -328,7 +324,7 @@ function throwClickableError(params) {
 	} catch (e) {
 		if ("stackTraceLimit" in Error) Error.stackTraceLimit = oldLimit;
 		error.message = "";
-		if (debug) e.cause = error;
+		e.cause = error;
 		e.weslLocation = weslLocation;
 		throw e;
 	}
@@ -356,7 +352,6 @@ function failIdentElem(identElem, msg = "") {
 		error: new Error(detailedMessage)
 	});
 }
-
 //#endregion
 //#region src/Conditions.ts
 /** @return true if the @if attribute is valid with current Conditions */
@@ -453,7 +448,6 @@ function findConditional(attributes) {
 		if (kind === "@if" || kind === "@elif" || kind === "@else") return attr.attribute;
 	}
 }
-
 //#endregion
 //#region src/Scope.ts
 /** Combine two scope siblings.
@@ -502,7 +496,6 @@ function childScope(child) {
 function childIdent(child) {
 	return !childScope(child);
 }
-
 //#endregion
 //#region src/StandardTypes.ts
 const stdFns = `bitcast all any select arrayLength 
@@ -603,7 +596,6 @@ function stdFn(name) {
 function stdEnumerant(name) {
 	return stdEnumerants.includes(name);
 }
-
 //#endregion
 //#region src/LowerAndEmit.ts
 /** Traverse the AST, starting from root elements, emitting WGSL for each. */
@@ -975,7 +967,6 @@ function findDecl(ident) {
 	} while (i);
 	throw new Error(`unresolved identifer: ${ident.originalName}`);
 }
-
 //#endregion
 //#region src/debug/ImportToString.ts
 function importToString(tree) {
@@ -991,7 +982,6 @@ function segmentToString(segment) {
 	} else if (segment.kind === "import-collection") return `{${segment.subtrees.map((s) => importToStringImpl(s)).join(", ")}}`;
 	else assertUnreachable(segment);
 }
-
 //#endregion
 //#region src/debug/LineWrapper.ts
 /** debug utility for constructing strings that wrap at a fixed column width
@@ -1052,7 +1042,6 @@ function firstLineLength(s) {
 	const i = s.indexOf("\n");
 	return i === -1 ? s.length : i;
 }
-
 //#endregion
 //#region src/debug/ASTtoString.ts
 const maxLineLength = 150;
@@ -1193,7 +1182,6 @@ function debugContentsToString(elem) {
 		return `?${c.kind}?`;
 	}).join(" ");
 }
-
 //#endregion
 //#region src/debug/ScopeToString.ts
 /** A debugging print of the scope tree with identifiers in nested brackets */
@@ -1250,7 +1238,6 @@ function identToString(ident) {
 		return `%${originalName}${mangledName ? `(${mangledName})` : ""} ${idStr} `;
 	}
 }
-
 //#endregion
 //#region src/LiveDeclarations.ts
 /** create a LiveDecls */
@@ -1265,7 +1252,6 @@ function liveDeclsToString(liveDecls) {
 	const { decls, parent } = liveDecls;
 	return `decls: { ${Array.from(decls.entries()).map(([name, decl]) => `${name}:${identToString(decl)}`).join(", ")} }, parent: ${parent ? liveDeclsToString(parent) : "null"}`;
 }
-
 //#endregion
 //#region src/Mangler.ts
 /**
@@ -1307,7 +1293,6 @@ function minimallyMangledName(proposedName, globalNames) {
 	while (globalNames.has(renamed)) renamed = proposedName + conflicts++;
 	return renamed;
 }
-
 //#endregion
 //#region src/ModulePathUtil.ts
 /** WESL module path utilities for converting between :: and / separators. */
@@ -1344,7 +1329,6 @@ function normalizeDebugRoot(root) {
 	if (root === "") return "";
 	return root.endsWith("/") ? root : root + "/";
 }
-
 //#endregion
 //#region src/FlattenTreeImport.ts
 /**
@@ -1369,7 +1353,6 @@ function flattenTreeImport(imp) {
 		else assertUnreachable(finalSegment);
 	}
 }
-
 //#endregion
 //#region src/ParseError.ts
 var ParseError = class extends Error {
@@ -1379,7 +1362,6 @@ var ParseError = class extends Error {
 		this.span = span;
 	}
 };
-
 //#endregion
 //#region src/parse/ContentsHelpers.ts
 /** Push partial element onto stack for content collection. */
@@ -1429,7 +1411,6 @@ function coverWithText(ctx, contents, start, end) {
 	if (pos < end) elems.push(makeText(srcModule, pos, end));
 	return elems;
 }
-
 //#endregion
 //#region src/parse/ExpressionUtil.ts
 function makeLiteral(token) {
@@ -1502,7 +1483,6 @@ function makeCallExpression(fn, templateArgs, args, end) {
 		end
 	};
 }
-
 //#endregion
 //#region src/parse/ParseUtil.ts
 /** Match text and throw ParseError if not found. */
@@ -1603,7 +1583,6 @@ function linkDeclIdentElem(declIdentElem, declElem) {
 function linkDeclIdent(typedDecl, declElem) {
 	linkDeclIdentElem(typedDecl.decl, declElem);
 }
-
 //#endregion
 //#region src/parse/OperatorBinding.ts
 /**
@@ -1674,7 +1653,6 @@ function getOpGroup(op) {
 }
 /** Validate WGSL 8.19 operator binding restrictions, return op's group. */
 function checkOpBinding(stream, op, leftGroup) {
-	if (!validation) return leftGroup;
 	const opGroup = getOpGroup(op);
 	if (!canBindLeft(op, leftGroup)) throwParseError(stream, `'${op}' requires parentheses after ${leftGroup}`);
 	if (!canSelfChain(opGroup) && leftGroup === opGroup) throwParseError(stream, `'${op}' cannot be chained`);
@@ -1698,7 +1676,6 @@ function canSelfChain(group) {
 function isBitwise(g) {
 	return g === "bitAnd" || g === "bitXor" || g === "bitOr";
 }
-
 //#endregion
 //#region src/parse/ParseIdent.ts
 /** WESL keywords that cannot be used as path segment identifiers. */
@@ -1753,7 +1730,6 @@ function isPathSegment(token, isFirst) {
 	if (weslKeywords.has(token.text)) return isFirst && pathPrefixKeywords.has(token.text);
 	return true;
 }
-
 //#endregion
 //#region src/parse/ParseType.ts
 /**
@@ -1796,7 +1772,6 @@ function parseTemplateParam(ctx) {
 	if (expr) return expr;
 	throwParseError(ctx.stream, "Expected expression in template parameters");
 }
-
 //#endregion
 //#region src/parse/ParseCall.ts
 /**
@@ -1838,7 +1813,6 @@ function matchCloseParen(stream) {
 	const token = stream.matchText(")");
 	return token ? token.span[1] : null;
 }
-
 //#endregion
 //#region src/parse/ParseExpression.ts
 /**
@@ -2002,7 +1976,6 @@ function parseIndexAccess(ctx, base) {
 	if (!stream.matchText("[")) return null;
 	return makeComponentExpression(base, expectExpression(ctx, "Expected expression in array index"), expect(stream, "]", "array index").span[1]);
 }
-
 //#endregion
 //#region src/parse/ParseAttribute.ts
 /** Grammar: attribute * */
@@ -2190,7 +2163,6 @@ function parseAttrParam(ctx) {
 		contents: finishContents(ctx, start, end)
 	};
 }
-
 //#endregion
 //#region src/parse/ParseDirective.ts
 /** Grammar: global_directive : diagnostic_directive | enable_directive | requires_directive */
@@ -2251,7 +2223,6 @@ function makeDirectiveElem(directive, token, stream, attributes) {
 	attachAttributes(elem, attributes);
 	return elem;
 }
-
 //#endregion
 //#region src/parse/ParseControlFlow.ts
 /**
@@ -2334,7 +2305,6 @@ function parseCaseBody(ctx, errorMsg) {
 	if (!body) throwParseError(ctx.stream, errorMsg);
 	ctx.addElem(body);
 }
-
 //#endregion
 //#region src/parse/ParseValueDeclaration.ts
 /** Grammar: 'const' optionally_typed_ident '=' expression (global or local) */
@@ -2417,7 +2387,6 @@ function parseOptionalType(ctx) {
 		typeScope
 	};
 }
-
 //#endregion
 //#region src/parse/ParseGlobalVar.ts
 /**
@@ -2496,7 +2465,6 @@ function skipTemplateList(ctx) {
 		stream.nextToken();
 	}
 }
-
 //#endregion
 //#region src/parse/ParseLocalVar.ts
 /**
@@ -2531,7 +2499,6 @@ function parseVarOrLet(ctx, keyword, hasTemplate, requiresInit, attributes) {
 	linkDeclIdent(typedDecl, elem);
 	return elem;
 }
-
 //#endregion
 //#region src/parse/ParseSimpleStatement.ts
 const assignmentOps = new Set([
@@ -2641,7 +2608,6 @@ function parseAssignmentRhs(ctx) {
 function parseIncDecOperator(stream) {
 	return !!stream.nextIf(({ text }) => text === "++" || text === "--");
 }
-
 //#endregion
 //#region src/parse/ParseLoop.ts
 /**
@@ -2710,7 +2676,6 @@ function parseForUpdate(ctx) {
 	if (expr && ctx.options.preserveExpressions) ctx.addElem(expr);
 	parseIncDecOperator(ctx.stream) || parseAssignmentRhs(ctx);
 }
-
 //#endregion
 //#region src/parse/ParseStatement.ts
 /** Function bodies share scope with parameters (per WGSL spec). */
@@ -2820,7 +2785,6 @@ function finalizeConditional$1(ctx, hasConditional, attributes) {
 function getConditionalAttribute(attributes) {
 	return attributes.find((a) => isConditionalAttribute$1(a.attribute))?.attribute;
 }
-
 //#endregion
 //#region src/parse/ParseFn.ts
 /**
@@ -2917,7 +2881,6 @@ function parseFnParam(ctx) {
 	attachAttributes(elem, attributes.length > 0 ? attributes : void 0);
 	return elem;
 }
-
 //#endregion
 //#region src/parse/ParseImport.ts
 /** WESL Grammar: translation_unit : import_statement* global_directive* global_decl* */
@@ -3043,7 +3006,6 @@ function makeImportItem(name, as) {
 		as
 	};
 }
-
 //#endregion
 //#region src/parse/ParseStruct.ts
 /**
@@ -3104,7 +3066,6 @@ function parseStructMember(ctx) {
 	attachAttributes(elem, attributes.length ? attributes : void 0);
 	return elem;
 }
-
 //#endregion
 //#region src/parse/ParseModule.ts
 const declParsers = [
@@ -3176,7 +3137,6 @@ function recordDecl(ctx, elem, attrs) {
 function isConditionalAttribute(a) {
 	return a.kind === "@if" || a.kind === "@elif" || a.kind === "@else";
 }
-
 //#endregion
 //#region src/parse/ParsingContext.ts
 /** Context for parsers to build AST and manage scopes. */
@@ -3248,7 +3208,6 @@ var ParsingContext = class {
 		this.state.context.scope.contents.push(ident);
 	}
 };
-
 //#endregion
 //#region src/parse/Keywords.ts
 /** https://www.w3.org/TR/WGSL/#keyword-summary */
@@ -3269,7 +3228,6 @@ const reservedWords = `NULL Self abstract active alignas alignof as asm asm_frag
   self set shared sizeof smooth snorm static static_assert static_cast std subroutine super
   target template this thread_local throw trait try type typedef typeid typename typeof
   union unless unorm unsafe unsized use using varying virtual volatile wgsl where with writeonly yield`.split(/\s+/);
-
 //#endregion
 //#region src/parse/stream/CachingStream.ts
 var CachingStream = class {
@@ -3319,7 +3277,6 @@ var Cache = class extends Map {
 		return super.set(k, v);
 	}
 };
-
 //#endregion
 //#region src/parse/stream/RegexHelpers.ts
 function toRegexSource(nameExp) {
@@ -3349,7 +3306,6 @@ function matchOneOf(syms) {
 	const escaped = syms.split(/\s+/).sort((a, b) => b.length - a.length).filter((s) => s).map(escapeRegex);
 	return new RegExp(escaped.join("|"));
 }
-
 //#endregion
 //#region src/parse/stream/MatchersStream.ts
 /** Runs a `RegexMatchers` on an input string */
@@ -3412,7 +3368,6 @@ function findGroupDex(indices) {
 		};
 	}
 }
-
 //#endregion
 //#region src/parse/WeslStream.ts
 /** Whitespaces including new lines */
@@ -3596,7 +3551,6 @@ var WeslStream = class {
 		}
 	}
 };
-
 //#endregion
 //#region src/parse/ParseWesl.ts
 /** Parse a WESL source module into an AST. */
@@ -3646,7 +3600,6 @@ function createParseState(srcModule, options) {
 		state
 	};
 }
-
 //#endregion
 //#region src/ParseWESL.ts
 /** Human-readable error when parsing WESL fails. */
@@ -3676,7 +3629,6 @@ function flatImports(ast, conditions) {
 	if (!conditions) ast._flatImports = flat;
 	return flat;
 }
-
 //#endregion
 //#region src/BindIdents.ts
 /** Bind ref idents to declarations and mangle global declaration names. */
@@ -3940,7 +3892,6 @@ function collectDecls(items) {
 		return [];
 	});
 }
-
 //#endregion
 //#region src/PathUtil.ts
 /** simplistic path manipulation utilities */
@@ -3963,7 +3914,6 @@ function noSuffix(path) {
 	const suffixStart = suffix === -1 ? path.length : suffix;
 	return path.slice(0, suffixStart);
 }
-
 //#endregion
 //#region src/ModuleResolver.ts
 const libRegex = /^lib\.w[eg]sl$/i;
@@ -4071,6 +4021,24 @@ var BundleResolver = class {
 		return this.debugWeslRoot + this.packageName + "/" + filePath + ".wesl";
 	}
 };
+/** 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. */
+function freshResolver(inner) {
+	const cache = /* @__PURE__ */ new Map();
+	return { resolveModule(modulePath) {
+		const cached = cache.get(modulePath);
+		if (cached) return cached;
+		const ast = inner.resolveModule(modulePath);
+		if (!ast) return void 0;
+		const fresh = parseSrcModule(ast.srcModule);
+		cache.set(modulePath, fresh);
+		return fresh;
+	} };
+}
 /** Convert file path to module path (e.g., "foo/bar.wesl" to "package::foo::bar"). */
 function fileToModulePath(filePath, packageName, treatLibAsRoot) {
 	if (filePath.includes("::")) return filePath;
@@ -4089,7 +4057,6 @@ function findInVariants(sources, basePath, extensions = ["wesl", "wgsl"]) {
 		}
 	}
 }
-
 //#endregion
 //#region src/discovery/FindUnboundIdents.ts
 /**
@@ -4168,7 +4135,6 @@ function discoverModules(weslSrc, resolver, rootModuleName, packageName = "packa
 		unbound
 	};
 }
-
 //#endregion
 //#region src/discovery/PackageNameUtils.ts
 /** Package name sanitization for WESL.
@@ -4232,7 +4198,6 @@ function breakAt(str, delimiter) {
 	if (index === -1) return [str, ""];
 	return [str.slice(0, index), str.slice(index)];
 }
-
 //#endregion
 //#region src/LinkedWesl.ts
 /**
@@ -4337,7 +4302,6 @@ function compilationInfoToErrorMessage(compilationInfo, shaderModule) {
 	}
 	return result;
 }
-
 //#endregion
 //#region src/SrcMap.ts
 /** map text ranges in multiple src texts to a single dest text */
@@ -4488,7 +4452,6 @@ var SrcMapBuilder = class {
 		return map;
 	}
 };
-
 //#endregion
 //#region src/Linker.ts
 /**
@@ -4584,7 +4547,7 @@ function normalizeModuleName(name) {
 function getRootModule(resolver, modulePath, rootModuleName) {
 	const rootAst = resolver.resolveModule(modulePath);
 	if (!rootAst) {
-		if (debug) console.log(`root module not found: ${modulePath} (from ${rootModuleName})`);
+		console.log(`root module not found: ${modulePath} (from ${rootModuleName})`);
 		throw new Error(`Root module not found: ${rootModuleName}`);
 	}
 	return rootAst;
@@ -4660,7 +4623,6 @@ function emitDecl(decl, conditions) {
 	});
 	return builder;
 }
-
 //#endregion
 //#region src/LinkerUtil.ts
 function visitAst(elem, visitor) {
@@ -4669,7 +4631,6 @@ function visitAst(elem, visitor) {
 		visitAst(child, visitor);
 	});
 }
-
 //#endregion
 //#region src/RawEmit.ts
 function attributeToString$1(e) {
@@ -4717,13 +4678,11 @@ function contentsToString(elem) {
 	else if (elem.kind === "name") return elem.name;
 	else assertUnreachable(elem);
 }
-
 //#endregion
 //#region src/Reflection.ts
 const textureStorage = matchOneOf(textureStorageTypes);
-const textureTypes = matchOneOf(sampledTextureTypes);
-const multiNames = matchOneOf(multisampledTextureTypes);
-
+matchOneOf(sampledTextureTypes);
+matchOneOf(multisampledTextureTypes);
 //#endregion
 //#region src/TransformBindingStructs.ts
 function bindingStructsPlugin() {
@@ -4907,7 +4866,7 @@ function transformBindingReference(memberRef, struct) {
 	const refName = memberRef.member.name;
 	const structMember = struct.members.find((m) => m.name.name === refName);
 	if (!structMember || !structMember.mangledVarName) {
-		if (debug) console.log(`missing mangledVarName for ${refName}`);
+		console.log(`missing mangledVarName for ${refName}`);
 		return {
 			kind: "synthetic",
 			text: refName
@@ -4922,7 +4881,6 @@ function transformBindingReference(memberRef, struct) {
 	memberRef.contents = [synthElem];
 	return synthElem;
 }
-
 //#endregion
 //#region src/WeslDevice.ts
 /**
@@ -4990,6 +4948,5 @@ function makeWeslDevice(device) {
 	})(device.popErrorScope);
 	return device;
 }
-
 //#endregion
-export { BundleResolver, CompositeResolver, LinkedWesl, ParseError, RecordResolver, SrcMap, SrcMapBuilder, TrackingResolver, WeslParseError, 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 };
+export { BundleResolver, CompositeResolver, LinkedWesl, ParseError, RecordResolver, SrcMap, SrcMapBuilder, TrackingResolver, WeslParseError, 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 };

package/dist/weslBundleDeclUrl.js

@@ -1,5 +1,4 @@
 //#region src/weslBundleDeclUrl.ts
 const weslBundleDeclUrl = new URL("../src/WeslBundle.ts", import.meta.url).href;
-
 //#endregion
-export { weslBundleDeclUrl };
+export { weslBundleDeclUrl };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "wesl",
-  "version": "0.7.23",
+  "version": "0.7.24",
   "type": "module",
   "files": [
     "dist",

package/src/ModuleResolver.ts

@@ -157,6 +157,27 @@ export class BundleResolver implements ModuleResolver {
   }
 }
 
+/** 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. */
+export function freshResolver(inner: ModuleResolver): ModuleResolver {
+  const cache = new Map<string, WeslAST>();
+  return {
+    resolveModule(modulePath: string): WeslAST | undefined {
+      const cached = cache.get(modulePath);
+      if (cached) return cached;
+      const ast = inner.resolveModule(modulePath);
+      if (!ast) return undefined;
+      const fresh = parseSrcModule(ast.srcModule);
+      cache.set(modulePath, fresh);
+      return fresh;
+    },
+  };
+}
+
 /** Convert file path to module path (e.g., "foo/bar.wesl" to "package::foo::bar"). */
 export function fileToModulePath(
   filePath: string,

package/src/test/FreshResolver.test.ts

@@ -0,0 +1,43 @@
+import { expect, test } from "vitest";
+import { link } from "../Linker.ts";
+import { freshResolver, RecordResolver } from "../ModuleResolver.ts";
+
+test("link twice with same resolver via freshResolver", async () => {
+  const weslSrc = {
+    "main.wesl": `
+      @if(A) fn foo() -> i32 { return 1; }
+      @else  fn foo() -> i32 { return 2; }
+    `,
+  };
+  const resolver = new RecordResolver(weslSrc);
+
+  const [r1, r2] = await Promise.all([
+    link({
+      resolver: freshResolver(resolver),
+      rootModuleName: "main",
+      conditions: { A: true },
+    }),
+    link({
+      resolver: freshResolver(resolver),
+      rootModuleName: "main",
+      conditions: { A: false },
+    }),
+  ]);
+  expect(r1.dest).toContain("return 1");
+  expect(r2.dest).toContain("return 2");
+});
+
+test("freshResolver returns same AST within one instance", () => {
+  const resolver = new RecordResolver({ main: `fn foo() {}` });
+  const fresh = freshResolver(resolver);
+  const ast1 = fresh.resolveModule("package::main");
+  const ast2 = fresh.resolveModule("package::main");
+  expect(ast1).toBe(ast2);
+});
+
+test("freshResolver returns different AST across instances", () => {
+  const resolver = new RecordResolver({ main: `fn foo() {}` });
+  const ast1 = freshResolver(resolver).resolveModule("package::main");
+  const ast2 = freshResolver(resolver).resolveModule("package::main");
+  expect(ast1).not.toBe(ast2);
+});

package/src/test/TestLink.ts

@@ -69,7 +69,8 @@ export async function testFromCase(
 
 /** For afterAll(): verify all shared test suite cases are covered. */
 export function verifyCaseCoverage(caseList: WgslTestSrc[]) {
-  return (suite: RunnerTestSuite) => {
+  // biome-ignore lint/correctness/noEmptyPattern: vitest 4 requires destructuring for 1st arg
+  return ({}: object, suite: RunnerTestSuite) => {
     const testNames = new Set(suite.tasks.map(t => t.name));
     const missing = caseList
       .map(c => c.name)