gofront 0.0.9 → 1.0.1

package/src/typechecker/termination.js

@@ -0,0 +1,86 @@
+// Termination analysis — determines whether a statement/block always returns.
+// Installed as a mixin on TypeChecker.prototype.
+
+/** @typedef {import('./index.js').TypeChecker} TypeChecker */
+
+/** @type {ThisType<TypeChecker>} */
+export const terminationMethods = {
+	_isPanicCall(expr) {
+		return (
+			expr?.kind === "CallExpr" &&
+			expr?.func?.kind === "Ident" &&
+			expr?.func?.name === "panic"
+		);
+	},
+
+	_isTerminating(stmt) {
+		if (!stmt) return false;
+		switch (stmt.kind) {
+			case "ReturnStmt":
+				return true;
+			case "BranchStmt":
+				return false;
+			case "ExprStmt":
+				return this._isPanicCall(stmt.expr);
+			case "LabeledStmt":
+				return this._isTerminating(stmt.body);
+			case "Block":
+				return this._isTerminatingBlock(stmt);
+			case "SwitchStmt":
+				return this._isTerminatingSwitch(stmt);
+			case "TypeSwitchStmt":
+				return this._isTerminatingTypeSwitch(stmt);
+			case "ForStmt":
+				return !stmt.cond && !this._blockHasBreak(stmt.body);
+			case "IfStmt":
+				return this._isTerminatingIfStmt(stmt);
+			default:
+				return false;
+		}
+	},
+
+	_isTerminatingIfStmt(stmt) {
+		if (!stmt.elseBody) return false;
+		return (
+			this._isTerminatingBlock(stmt.body) &&
+			(stmt.elseBody.kind === "Block"
+				? this._isTerminatingBlock(stmt.elseBody)
+				: this._isTerminating(stmt.elseBody))
+		);
+	},
+
+	_isTerminatingBlock(block) {
+		if (!block?.stmts?.length) return false;
+		return this._isTerminating(block.stmts[block.stmts.length - 1]);
+	},
+
+	_blockHasBreak(block) {
+		if (!block?.stmts) return false;
+		for (const s of block.stmts) {
+			if (s.kind === "BranchStmt" && s.keyword === "break") return true;
+		}
+		return false;
+	},
+
+	_isTerminatingSwitch(stmt) {
+		let hasDefault = false;
+		for (const c of stmt.cases ?? []) {
+			if (!c.list) hasDefault = true;
+			if (!c.stmts?.length) return false;
+			const last = c.stmts[c.stmts.length - 1];
+			if (!this._isTerminating(last)) return false;
+		}
+		return hasDefault;
+	},
+
+	_isTerminatingTypeSwitch(stmt) {
+		let hasDefault = false;
+		for (const c of stmt.cases ?? []) {
+			if (!c.types) hasDefault = true;
+			if (!c.stmts?.length) return false;
+			const last = c.stmts[c.stmts.length - 1];
+			if (!this._isTerminating(last)) return false;
+		}
+		return hasDefault;
+	},
+};

package/src/typechecker/types.js

@@ -48,6 +48,7 @@ export const FLOAT64 = { kind: "basic", name: "float64" };
 export const STRING = { kind: "basic", name: "string" };
 export const BOOL = { kind: "basic", name: "bool" };
 export const ANY = { kind: "basic", name: "any" };
+export const TAINTED_ANY = { kind: "basic", name: "any", _tainted: true };
 export const VOID = { kind: "basic", name: "void" };
 export const NIL = { kind: "basic", name: "nil" };
 export const ERROR = {