gofront 1.5.1 → 1.6.1

package/src/typechecker/types.js

@@ -83,11 +83,542 @@ export const BROWSER_GLOBALS = new Set([
 	"prompt",
 	"localStorage",
 	"sessionStorage",
+	"WebSocket",
+	"Worker",
+	"HTMLElement",
+	"Element",
+	"Event",
+	"CustomEvent",
+	"URL",
+	"URLSearchParams",
+	"FormData",
+	"Headers",
+	"Request",
+	"Response",
+	"Blob",
+	"File",
+	"FileReader",
+	"TextEncoder",
+	"TextDecoder",
 ]);
 
-// Stdlib packages the WASM backend can emit. Extend as src/backend/wasm/emit.js gains support;
-// anything not listed is rejected at import with "not yet available in wasm packages".
-export const WASM_SUPPORTED_STDLIB = new Set(["math", "math/bits", "testing"]);
+// Stdlib packages the WASM backend can emit. Extend as src/backend/wasm/emit-stdlib.js
+// gains support; anything not listed is rejected at import with "not yet available in
+// wasm packages".
+export const WASM_SUPPORTED_STDLIB = new Set([
+	"math",
+	"math/bits",
+	"math/rand",
+	"errors",
+	"fmt",
+	"strings",
+	"bytes",
+	"strconv",
+	"unicode",
+	"unicode/utf8",
+	"slices",
+	"maps",
+	"sort",
+	"path",
+	"path/filepath",
+	"html",
+	"io",
+	"time",
+	"testing",
+	"gofront/shared",
+	"sync",
+	"crypto/rand",
+	"crypto/sha256",
+	"encoding/binary",
+	"encoding/hex",
+	"encoding/base64",
+]);
+
+export const STDLIB_PACKAGES = new Set([
+	...WASM_SUPPORTED_STDLIB,
+	"os",
+	"gom",
+	"regexp",
+]);
+
+// Per-namespace member subset the WASM backend implements. `null` means every
+// member the checker knows about. Members outside the set are rejected in
+// wasm/both packages with "'strings.Split' is not yet available in wasm packages".
+export const WASM_STDLIB_MEMBERS = new Map([
+	[
+		"math",
+		new Set([
+			"Sqrt",
+			"Floor",
+			"Ceil",
+			"Trunc",
+			"Abs",
+			"Min",
+			"Max",
+			"Copysign",
+			"Dim",
+			"Inf",
+			"NaN",
+			"IsNaN",
+			"IsInf",
+			"Signbit",
+			"Sin",
+			"Cos",
+			"Tan",
+			"Asin",
+			"Acos",
+			"Atan",
+			"Atan2",
+			"Pow",
+			"Mod",
+			"Hypot",
+			"Cbrt",
+			"Exp",
+			"Exp2",
+			"Log",
+			"Log2",
+			"Log10",
+			"Round",
+			"Remainder",
+			"Float64bits",
+			"Float64frombits",
+			"Float32bits",
+			"Float32frombits",
+			"Sinh",
+			"Cosh",
+			"Tanh",
+			// constants
+			"E",
+			"Pi",
+			"Phi",
+			"Sqrt2",
+			"SqrtE",
+			"SqrtPi",
+			"SqrtPhi",
+			"Ln2",
+			"Log2E",
+			"Ln10",
+			"Log10E",
+			"MaxFloat32",
+			"SmallestNonzeroFloat32",
+			"MaxFloat64",
+			"SmallestNonzeroFloat64",
+			"MaxInt",
+			"MinInt",
+			"MaxInt8",
+			"MinInt8",
+			"MaxInt16",
+			"MinInt16",
+			"MaxInt32",
+			"MinInt32",
+			"MaxInt64",
+			"MinInt64",
+			"MaxUint8",
+			"MaxUint16",
+			"MaxUint32",
+			"MaxUint",
+			"MaxUint64",
+		]),
+	],
+	[
+		"bits",
+		new Set([
+			"LeadingZeros32",
+			"LeadingZeros64",
+			"TrailingZeros32",
+			"TrailingZeros64",
+			"OnesCount32",
+			"OnesCount64",
+			"RotateLeft32",
+			"RotateLeft64",
+			"ReverseBytes16",
+			"ReverseBytes32",
+			"ReverseBytes64",
+			"Len32",
+			"Len64",
+			"Reverse32",
+			"Reverse64",
+		]),
+	],
+	["errors", new Set(["New", "Is", "Unwrap", "As", "Join"])],
+	[
+		"utf8",
+		new Set([
+			"RuneCountInString",
+			"RuneLen",
+			"ValidString",
+			"ValidRune",
+			"DecodeRuneInString",
+			"DecodeLastRuneInString",
+			"FullRuneInString",
+			"RuneError",
+			"MaxRune",
+			"UTFMax",
+		]),
+	],
+	[
+		"sort",
+		new Set([
+			"Ints",
+			"Float64s",
+			"Strings",
+			"Slice",
+			"SliceStable",
+			"SliceIsSorted",
+			"Search",
+			"IntsAreSorted",
+			"Float64sAreSorted",
+			"StringsAreSorted",
+		]),
+	],
+	[
+		"fmt",
+		new Set([
+			"Sprintf",
+			"Errorf",
+			"Printf",
+			"Println",
+			"Print",
+			"Fprintf",
+			"Fprintln",
+			"Fprint",
+			"Sscan",
+			"Sscanln",
+			"Sscanf",
+		]),
+	],
+	[
+		"strings",
+		new Set([
+			"Contains",
+			"ContainsAny",
+			"ContainsRune",
+			"HasPrefix",
+			"HasSuffix",
+			"Index",
+			"IndexAny",
+			"IndexByte",
+			"IndexRune",
+			"LastIndex",
+			"LastIndexByte",
+			"Count",
+			"Repeat",
+			"Replace",
+			"ReplaceAll",
+			"ToUpper",
+			"ToLower",
+			"Title",
+			"ToTitle",
+			"TrimSpace",
+			"Trim",
+			"TrimLeft",
+			"TrimRight",
+			"TrimPrefix",
+			"TrimSuffix",
+			"EqualFold",
+			"Split",
+			"Fields",
+			"Join",
+			"Cut",
+			"CutPrefix",
+			"CutSuffix",
+			"SplitN",
+			"SplitAfter",
+			"SplitAfterN",
+			"LastIndexAny",
+			"Map",
+			"IndexFunc",
+			"LastIndexFunc",
+			"TrimFunc",
+			"TrimLeftFunc",
+			"TrimRightFunc",
+			"FieldsFunc",
+			"NewReplacer",
+			"Builder",
+			"NewReader",
+			"Reader",
+		]),
+	],
+	[
+		"strconv",
+		new Set([
+			"Itoa",
+			"Atoi",
+			"FormatInt",
+			"FormatUint",
+			"FormatFloat",
+			"FormatBool",
+			"ParseInt",
+			"ParseUint",
+			"ParseFloat",
+			"ParseBool",
+			"Quote",
+			"Unquote",
+			"AppendInt",
+			"AppendUint",
+			"AppendFloat",
+			"AppendBool",
+			"ErrSyntax",
+			"ErrRange",
+		]),
+	],
+	[
+		"slices",
+		new Set([
+			"Sort",
+			"Reverse",
+			"Contains",
+			"Index",
+			"IndexFunc",
+			"ContainsFunc",
+			"BinarySearch",
+			"BinarySearchFunc",
+			"Equal",
+			"Clone",
+			"Compare",
+			"SortFunc",
+			"SortStableFunc",
+			"IsSorted",
+			"IsSortedFunc",
+			"Min",
+			"Max",
+			"MinFunc",
+			"MaxFunc",
+			"Compact",
+			"CompactFunc",
+			"Concat",
+			"Delete",
+			"DeleteFunc",
+			"Insert",
+			"Replace",
+			"Grow",
+			"Clip",
+		]),
+	],
+	[
+		"maps",
+		new Set([
+			"Keys",
+			"Values",
+			"Clone",
+			"Copy",
+			"Equal",
+			"EqualFunc",
+			"Delete",
+			"DeleteFunc",
+		]),
+	],
+	[
+		"unicode",
+		new Set([
+			"IsLetter",
+			"IsDigit",
+			"IsSpace",
+			"IsUpper",
+			"IsLower",
+			"IsPunct",
+			"IsControl",
+			"IsPrint",
+			"IsGraphic",
+			"ToUpper",
+			"ToLower",
+		]),
+	],
+	[
+		"rand",
+		new Set([
+			"Intn",
+			"Float64",
+			"Float32",
+			"Int",
+			"Int63",
+			"Int63n",
+			"Int31",
+			"Int31n",
+			"Seed",
+			"Shuffle",
+			"Perm",
+			"Read",
+			"Reader",
+		]),
+	],
+	[
+		"bytes",
+		new Set([
+			"Contains",
+			"HasPrefix",
+			"HasSuffix",
+			"Index",
+			"Count",
+			"Repeat",
+			"Replace",
+			"ReplaceAll",
+			"ToUpper",
+			"ToLower",
+			"TrimSpace",
+			"Trim",
+			"Equal",
+			"Split",
+			"Join",
+			"TrimPrefix",
+			"TrimSuffix",
+			"TrimLeft",
+			"TrimRight",
+			"TrimFunc",
+			"IndexByte",
+			"LastIndex",
+			"LastIndexByte",
+			"Fields",
+			"FieldsFunc",
+			"Clone",
+			"Cut",
+			"ToTitle",
+			"ContainsAny",
+			"ContainsRune",
+			"Map",
+			"SplitN",
+			"Buffer",
+			"NewReader",
+			"Reader",
+		]),
+	],
+	[
+		"path",
+		new Set([
+			"Base",
+			"Dir",
+			"Ext",
+			"Join",
+			"Clean",
+			"IsAbs",
+			"Split",
+			"Match",
+			"ErrBadPattern",
+		]),
+	],
+	[
+		"filepath",
+		new Set([
+			"Base",
+			"Dir",
+			"Ext",
+			"Join",
+			"Clean",
+			"IsAbs",
+			"Split",
+			"Match",
+			"ErrBadPattern",
+		]),
+	],
+	["html", new Set(["EscapeString", "UnescapeString"])],
+	[
+		"io",
+		new Set([
+			"Writer",
+			"Reader",
+			"ReadWriter",
+			"Closer",
+			"EOF",
+			"ErrUnexpectedEOF",
+			"ErrShortWrite",
+			"ReadFull",
+			"ReadAll",
+			"Discard",
+			"WriteString",
+			"LimitReader",
+			"Copy",
+			"CopyN",
+		]),
+	],
+	[
+		"time",
+		new Set([
+			"Now",
+			"Since",
+			"Parse",
+			"Unix",
+			"UnixMicro",
+			"UnixMilli",
+			"Date",
+			"Duration",
+			"Nanosecond",
+			"Microsecond",
+			"Millisecond",
+			"Second",
+			"Minute",
+			"Hour",
+			"RFC3339",
+			"RFC3339Nano",
+			"DateOnly",
+			"TimeOnly",
+			"DateTime",
+			"UTC",
+			"Local",
+			"January",
+			"February",
+			"March",
+			"April",
+			"May",
+			"June",
+			"July",
+			"August",
+			"September",
+			"October",
+			"November",
+			"December",
+			"Sunday",
+			"Monday",
+			"Tuesday",
+			"Wednesday",
+			"Thursday",
+			"Friday",
+			"Saturday",
+			"Time",
+		]),
+	],
+	["testing", new Set(["T"])],
+	["sync", new Set(["Mutex", "RWMutex", "Once", "WaitGroup", "Locker"])],
+	["sha256", new Set(["Sum256", "New", "Size", "BlockSize"])],
+	[
+		"binary",
+		new Set([
+			"LittleEndian",
+			"BigEndian",
+			"ByteOrder",
+			"Read",
+			"Write",
+			"Size",
+			"AppendUint16",
+			"AppendUint32",
+			"AppendUint64",
+		]),
+	],
+	[
+		"hex",
+		new Set([
+			"EncodeToString",
+			"DecodeString",
+			"Encode",
+			"Decode",
+			"EncodedLen",
+			"DecodedLen",
+			"ErrLength",
+		]),
+	],
+	[
+		"base64",
+		new Set([
+			"StdEncoding",
+			"URLEncoding",
+			"RawStdEncoding",
+			"RawURLEncoding",
+			"Encoding",
+			"NewEncoding",
+			"StdPadding",
+			"NoPadding",
+		]),
+	],
+]);
 
 export const VALID_TARGETS = new Set(["js", "wasm", "both"]);
 
@@ -108,7 +639,7 @@ export const BYTE = UINT8;
 export const UINT16 = { kind: "basic", name: "uint16" };
 export const UINT32 = { kind: "basic", name: "uint32" };
 export const UINT64 = { kind: "basic", name: "uint64" };
-export const UINTPTR = { kind: "basic", name: "uintptr" };
+const UINTPTR = { kind: "basic", name: "uintptr" };
 export const RUNE = INT32;
 export const FLOAT32 = { kind: "basic", name: "float32" };
 export const FLOAT64 = { kind: "basic", name: "float64" };
@@ -135,7 +666,7 @@ export const UNTYPED_BOOL = { kind: "untyped", base: "bool" };
 
 // ── Complex types ────────────────────────────────────────────
 export const COMPLEX128 = { kind: "basic", name: "complex128" };
-export const COMPLEX64 = { kind: "basic", name: "complex64" };
+const COMPLEX64 = { kind: "basic", name: "complex64" };
 export const UNTYPED_COMPLEX = { kind: "untyped", base: "complex128" };
 
 export const BASIC_TYPES = {
@@ -204,7 +735,7 @@ export const isBool = makeBasicPredicate("bool");
 
 // ── TypedArray mappings ──────────────────────────────────────
 // []float64 deliberately stays a plain Array for JSON / JS-library interop.
-export const TYPED_ARRAY_CONSTRUCTORS = {
+const TYPED_ARRAY_CONSTRUCTORS = {
 	float32: "Float32Array",
 	uint8: "Uint8Array",
 	byte: "Uint8Array",
@@ -294,12 +825,16 @@ export function typeStr(t) {
 			return `untyped ${t.base}`;
 		case "slice":
 			return `[]${typeStr(t.elem)}`;
+		case "shared":
+			return `shared.${t.shared}`;
 		case "array":
 			return `[${t.size ?? "..."}]${typeStr(t.elem)}`;
 		case "map":
 			return `map[${typeStr(t.key)}]${typeStr(t.value)}`;
 		case "struct":
-			return t.name || "struct{...}";
+			return t.typeArgs && t.typeArgs.length > 0
+				? `${t.name || "struct"}[${t.typeArgs.map(typeStr).join(", ")}]`
+				: t.name || "struct{...}";
 		case "interface":
 			return t.name || "interface{...}";
 		case "namespace":
@@ -309,7 +844,9 @@ export function typeStr(t) {
 		case "tuple":
 			return `(${t.types.map(typeStr).join(", ")})`;
 		case "named":
-			return t.name;
+			return t.typeArgs && t.typeArgs.length > 0
+				? `${t.name}[${t.typeArgs.map(typeStr).join(", ")}]`
+				: t.name;
 		case "pointer":
 			return `*${typeStr(t.base)}`;
 		case "typeParam":

package/src/vendor.js

@@ -59,7 +59,7 @@ ${exports.join(",\n")}
 `;
 }
 
-export function findBundler(projectDir) {
+function findBundler(projectDir) {
 	const root = resolve(projectDir);
 	const pkgPath = join(root, "package.json");
 	let req;
@@ -136,7 +136,7 @@ export function loadVendorConfig(projectDir) {
 	return { dest, packages, minify, globals };
 }
 
-export function resolveDestinationPaths(projectRoot, dest) {
+function resolveDestinationPaths(projectRoot, dest) {
 	const destList = Array.isArray(dest) ? dest : [dest];
 	if (destList.length === 0) {
 		throw new Error(