gofront 1.8.0 → 1.9.0

package/src/typechecker/stdlib/excluded.js

@@ -155,7 +155,7 @@ const TRIMMED_UNICODE_TABLES =
 const TRIMMED_UNICODE_CASE =
 	"removed in v1.8.0; case ranges are not supported, use ToUpper, ToLower or ToTitle";
 const TRIMMED_FSCAN =
-	"removed in v1.8.0; scanning from an io.Reader is not supported, use fmt.Sscan on the text";
+	"removed in v1.8.0; scanning from an io.Reader is not supported, parse the text with strings and strconv";
 
 // reason -> package path -> excluded member names
 const EXCLUDED_MEMBER_GROUPS = {
@@ -188,6 +188,14 @@ const EXCLUDED_MEMBER_GROUPS = {
 	[TRIMMED_FSCAN]: {
 		fmt: ["Fscan", "Fscanf", "Fscanln"],
 	},
+	"removed in v1.9.0; reflection-based binary encoding is not supported, use binary.LittleEndian or binary.BigEndian methods (Uint32, PutUint32, AppendUint32, ...)":
+		{
+			"encoding/binary": ["Read", "Write", "Size"],
+		},
+	"removed in v1.9.0; format-string scanning is not supported, use strings.Fields with strconv.Atoi, ParseFloat or ParseBool":
+		{
+			fmt: ["Sscan", "Sscanf", "Sscanln"],
+		},
 	"removed in v1.8.0; this function is not supported": {
 		math: ["Gamma", "Erf"],
 	},
@@ -252,7 +260,6 @@ const EXCLUDED_MEMBER_GROUPS = {
 			"File.Chdir",
 			"File.Chmod",
 			"File.Chown",
-			"File.Close",
 			"File.Fd",
 			"File.Name",
 			"File.ReadAt",
@@ -393,7 +400,6 @@ const EXCLUDED_MEMBER_GROUPS = {
 			"SEEK_CUR",
 			"SEEK_END",
 			"SEEK_SET",
-			"Setenv",
 			"Signal",
 			"Signal.Signal",
 			"Signal.String",
@@ -809,8 +815,6 @@ const EXCLUDED_MEMBER_GROUPS = {
 const REMOVED_PACKAGES = {
 	bufio: "removed in v1.8.0; use strings and bytes readers",
 	"net/url": "removed in v1.8.0; use the URL class from a js package",
-	context:
-		"removed in v1.8.0; use a cancel flag, or AbortController from a js package",
 	"encoding/csv":
 		"removed in v1.8.0; split lines and fields with strings.Split",
 	"container/heap":

package/src/typechecker/stdlib/index.js

@@ -1,21 +1,37 @@
 // stdlib.js — built-in namespace and browser-global registration for the GoFront type
 // checker. Called once from TypeChecker._setupGlobals() during construction.
 //
-// Delegates to two focused sub-modules:
-//   stdlib/core.js     — browser globals, fmt, strings, bytes, strconv, sort,
-//                        math, errors, time, unicode, os, slices, html, io
-//   stdlib/extended.js — gom, maps, regexp, rand, utf8, path, builder types,
-//                        built-in functions
+// Registers browser globals and built-in functions, then delegates to the
+// shared, simd and web sub-modules.
 
-import { setupCoreGlobals } from "./core.js";
-import { setupExtendedGlobals } from "./extended.js";
+import { ANY, BROWSER_GLOBALS } from "../types.js";
 import { setupSharedGlobals } from "./shared.js";
 import { setupSimdGlobals } from "./simd.js";
 import { setupWebGlobals } from "./web.js";
 
 export function setupGlobals(globals, types) {
-	setupCoreGlobals(globals, types);
-	setupExtendedGlobals(globals, types);
+	for (const g of BROWSER_GLOBALS) globals.define(g, ANY);
+	for (const name of [
+		"append",
+		"len",
+		"cap",
+		"make",
+		"delete",
+		"print",
+		"println",
+		"panic",
+		"recover",
+		"new",
+		"copy",
+		"error",
+		"min",
+		"max",
+		"clear",
+		"complex",
+		"real",
+		"imag",
+	])
+		globals.define(name, { kind: "builtin", name });
 	setupSharedGlobals(globals, types);
 	setupSimdGlobals(globals, types);
 	setupWebGlobals(globals, types);

package/src/typechecker/termination.js

@@ -64,15 +64,24 @@ export const terminationMethods = {
 
 	_isTerminatingSwitch(stmt) {
 		let hasDefault = false;
-		for (const c of stmt.cases ?? []) {
+		const cases = stmt.cases ?? [];
+		for (let i = 0; i < cases.length; i++) {
+			const c = cases[i];
 			if (!c.list) hasDefault = true;
 			if (!c.stmts?.length) return false;
 			const last = c.stmts[c.stmts.length - 1];
+			// `fallthrough` hands control to the next clause, which is checked
+			// on its own; the final clause has none to fall into.
+			if (this._isFallthrough(last) && i < cases.length - 1) continue;
 			if (!this._isTerminating(last)) return false;
 		}
 		return hasDefault;
 	},
 
+	_isFallthrough(stmt) {
+		return stmt?.kind === "BranchStmt" && stmt.keyword === "fallthrough";
+	},
+
 	_isTerminatingTypeSwitch(stmt) {
 		let hasDefault = false;
 		for (const c of stmt.cases ?? []) {