@xaendar/compiler 0.7.27 → 0.7.28

package/dist/xaendar-compiler.es.js

@@ -2878,7 +2878,7 @@ var Parser = class {
 * `TypeChecker` for why) — attribute expressions and event calls are
 * emitted as bare statements, validated in place.
 */
-function typeCheckElement(node, processNode) {
+function typeCheckElement(node, processNode, context) {
 	const lines = [];
 	node.attributes.forEach(({ value }) => {
 		if (typeof value !== "string") lines.push(`${resolveExpression(value.expression, { resolver: "root" })};`);
@@ -2888,7 +2888,7 @@ function typeCheckElement(node, processNode) {
 		lines.push(`root.${handler}(${args});`);
 	});
 	node.children.forEach((child, i) => {
-		lines.push(...processNode(child));
+		lines.push(...processNode(child, context));
 	});
 	return lines;
 }
@@ -2904,12 +2904,21 @@ function typeCheckElement(node, processNode) {
 * exactly like it would for a loop written by hand — with no synthetic
 * function boundary needed.
 */
-function typeCheckFor(node, processNode) {
+function typeCheckFor(node, processNode, context) {
+	const forContext = new CompilerContext([], context);
 	const indexName = resolveImplicit(node, "$index");
 	const firstName = resolveImplicit(node, "$first");
 	const lastName = resolveImplicit(node, "$last");
 	const evenName = resolveImplicit(node, "$even");
 	const oddName = resolveImplicit(node, "$odd");
+	[
+		indexName,
+		firstName,
+		lastName,
+		evenName,
+		oddName,
+		node.itemAlias
+	].forEach((identifier) => forContext.addUnresolvableIdentifier(identifier));
 	const lines = [];
 	lines.push(`for (const ${node.itemAlias} of root.${node.iterableSource}) {`);
 	lines.push(...indent([
@@ -2919,7 +2928,7 @@ function typeCheckFor(node, processNode) {
 		`let ${evenName}!: boolean;`,
 		`let ${oddName}!: boolean;`,
 		`${resolveExpression(node.trackExpression, { skipResolution: true })};`,
-		...node.children.flatMap((child, i) => processNode(child))
+		...node.children.flatMap((child) => processNode(child, context))
 	]));
 	lines.push("}");
 	return lines;
@@ -2952,23 +2961,23 @@ function resolveImplicit(node, implicit) {
 * `else if`, TS already knows the first condition was false) — something
 * flat sibling functions could never express.
 */
-function typeCheckIf(node, processNode) {
+function typeCheckIf(node, processNode, context) {
 	const lines = [];
 	const condition = resolveExpression(node.conditionNode, { resolver: "root" });
 	lines.push(`if (${condition}) {`);
-	lines.push(...indent(node.children.flatMap((child) => processNode(child))));
+	lines.push(...indent(node.children.flatMap((child) => processNode(child, context))));
 	lines.push("}");
 	let alt = node.alternate;
 	while (alt?.type === ASTNodeType.ElseIf) {
 		const elseIfCondition = resolveExpression(alt.conditionNode, { resolver: "root" });
 		lines.push(`else if (${elseIfCondition}) {`);
-		lines.push(...indent(alt.children.flatMap((child) => processNode(child))));
+		lines.push(...indent(alt.children.flatMap((child) => processNode(child, context))));
 		lines.push("}");
 		alt = alt.alternate;
 	}
 	if (alt) {
 		lines.push("else {");
-		lines.push(...indent(alt.children.flatMap((child) => processNode(child))));
+		lines.push(...indent(alt.children.flatMap((child) => processNode(child, context))));
 		lines.push("}");
 	}
 	return lines;
@@ -2990,14 +2999,11 @@ function typeCheckIf(node, processNode) {
 * emitted as stacked `case` labels sharing that same body, matching real
 * JS/TS fallthrough syntax directly.
 */
-function typeCheckSwitch(node, processNode) {
+function typeCheckSwitch(node, processNode, context) {
 	const lines = [`switch (${resolveExpression(node.expression, { resolver: "root" })}) {`];
-	node.children.forEach((caseNode, i) => {
-		if (caseNode.condition?.length) caseNode.condition.forEach((conditionValue) => {
-			lines.push(`  case ${conditionValue}:`);
-		});
-		else lines.push("  default:");
-		lines.push(...indent(indent([...caseNode.children.flatMap((child) => processNode(child)), "break;"])));
+	node.children.forEach((caseNode) => {
+		caseNode.condition?.length ? caseNode.condition.forEach((conditionValue) => lines.push(`  case ${conditionValue}:`)) : lines.push("  default:");
+		lines.push(...indent(indent([...caseNode.children.flatMap((child) => processNode(child, context)), "break;"])));
 	});
 	lines.push("}");
 	return lines;
@@ -3011,7 +3017,7 @@ function typeCheckSwitch(node, processNode) {
 * interpolation's expression is emitted as a bare statement — enough for
 * TS to validate it, with no name needing to be bound to the result.
 */
-function typeCheckTextAndInterpolation(node, _processNode) {
+function typeCheckTextAndInterpolation(node, _processNode, _context) {
 	return node.type === ASTNodeType.Interpolation ? [`${resolveExpression(node.expression, { resolver: "root" })};`] : [];
 }
 //#endregion
@@ -3062,7 +3068,7 @@ var TypeChecker = class {
 	* relevant if the consuming project has `noUnusedLocals` enabled.
 	*/
 	generate() {
-		const body = this._ast.flatMap((node, i) => this._processNode(node));
+		const body = this._ast.flatMap((node) => this._processNode(node));
 		return [
 			"function typeCheck() {",
 			...indent(body.some((line) => line.includes("$event")) ? ["let $event!: Event;", ...body] : body),
@@ -3074,10 +3080,10 @@ var TypeChecker = class {
 	* back down as `processNode` so state functions can recurse into their
 	* own children inline.
 	*/
-	_processNode = (node) => {
+	_processNode = (node, context) => {
 		const state = this._states[node.type];
 		if (!state) throw new Error(`[Type Checker] No transition function for token type ${ASTNodeType[node.type]}`);
-		return state(node, this._processNode);
+		return state(node, this._processNode, context);
 	};
 };
 //#endregion

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@xaendar/compiler",
-  "version": "0.7.27",
+  "version": "0.7.28",
   "description": "A library for transpiling Xaendar Templates into JavaScript code",
   "sideEffects": false,
   "type": "module",
@@ -16,8 +16,8 @@
     }
   },
   "dependencies": {
-    "@xaendar/common": "0.7.27",
-    "@xaendar/types": "0.7.27",
+    "@xaendar/common": "0.7.28",
+    "@xaendar/types": "0.7.28",
     "typescript": "^6.0.3"
   }
 }