@xnoxs/flux-lang 3.5.2 → 4.0.0

package/src/self/type-checker.js

@@ -1,1114 +1 @@
-// ── Flux stdlib ──
-
-function map(arr, fn) { return arr.map(fn); }
-
-function filter(arr, fn) { return arr.filter(fn); }
-
-function reduce(arr, fn, init) { return arguments.length >= 3 ? arr.reduce(fn, init) : arr.reduce(fn); }
-
-function find(arr, fn) { return arr.find(fn); }
-
-function some(arr, fn) { return arr.some(fn); }
-
-function every(arr, fn) { return arr.every(fn); }
-
-function join(arr, sep) { return arr.join(sep != null ? sep : ','); }
-
-function includes(arr, val) { return arr.includes(val); }
-
-function entries(obj) { return Object.entries(obj); }
-
-function trim(s) { return String(s).trim(); }
-
-function startsWith(s, prefix) { return String(s).startsWith(prefix); }
-
-function endsWith(s, suffix) { return String(s).endsWith(suffix); }
-// ── end stdlib ──
-
-// Generated by Flux Transpiler v3.2.0
-"use strict";
-
-const T_ANY = Object.freeze({ kind: "any" });
-module.exports.T_ANY = T_ANY;
-const T_UNKNOWN = Object.freeze({ kind: "unknown" });
-module.exports.T_UNKNOWN = T_UNKNOWN;
-const T_NEVER = Object.freeze({ kind: "never" });
-module.exports.T_NEVER = T_NEVER;
-const T_VOID = Object.freeze({ kind: "void" });
-module.exports.T_VOID = T_VOID;
-const T_NULL = Object.freeze({ kind: "null" });
-module.exports.T_NULL = T_NULL;
-const T_STRING = Object.freeze({ kind: "primitive", name: "String" });
-module.exports.T_STRING = T_STRING;
-const T_INT = Object.freeze({ kind: "primitive", name: "Int" });
-module.exports.T_INT = T_INT;
-const T_FLOAT = Object.freeze({ kind: "primitive", name: "Float" });
-module.exports.T_FLOAT = T_FLOAT;
-const T_NUMBER = Object.freeze({ kind: "primitive", name: "Number" });
-module.exports.T_NUMBER = T_NUMBER;
-const T_BOOL = Object.freeze({ kind: "primitive", name: "Bool" });
-module.exports.T_BOOL = T_BOOL;
-function T_UNION(...members) {
-  const flat = [];
-  for (const m of members) {
-    if ((m && (m.kind == "union"))) {
-      for (const sub of m.members) {
-        flat.push(sub);
-      }
-    }
-    else if (m) {
-      flat.push(m);
-    }
-  }
-  const seen = new Set();
-  const deduped = [];
-  for (const m of flat) {
-    const k = typeStr(m);
-    if (!seen.has(k)) {
-      seen.add(k);
-      deduped.push(m);
-    }
-  }
-  if ((deduped.length == 0)) {
-    return T_NEVER;
-  }
-  if ((deduped.length == 1)) {
-    return deduped[0];
-  }
-  return { kind: "union", members: deduped };
-}
-module.exports.T_UNION = T_UNION;
-function T_INTERSECTION(...members) {
-  const flat = [];
-  for (const m of members) {
-    if ((m && (m.kind == "intersection"))) {
-      for (const sub of m.members) {
-        flat.push(sub);
-      }
-    }
-    else if (m) {
-      flat.push(m);
-    }
-  }
-  if ((flat.length == 1)) {
-    return flat[0];
-  }
-  return { kind: "intersection", members: flat };
-}
-module.exports.T_INTERSECTION = T_INTERSECTION;
-function T_ARRAY(elem) {
-  return { kind: "generic", name: "Array", args: [(elem ?? T_UNKNOWN)] };
-}
-module.exports.T_ARRAY = T_ARRAY;
-function T_TUPLE(types) {
-  return { kind: "tuple", types: (types ?? []) };
-}
-module.exports.T_TUPLE = T_TUPLE;
-function T_NULLABLE(t) {
-  return T_UNION(t, T_NULL);
-}
-module.exports.T_NULLABLE = T_NULLABLE;
-function T_NAMED(name) {
-  return { kind: "named", name };
-}
-module.exports.T_NAMED = T_NAMED;
-function T_FN(params, ret) {
-  return { kind: "fn", params: (params ?? []), ret: (ret ?? T_VOID) };
-}
-module.exports.T_FN = T_FN;
-function T_OBJECT(shape) {
-  return { kind: "object", shape: (shape ?? new Map()) };
-}
-module.exports.T_OBJECT = T_OBJECT;
-function T_RECORD(key, val_) {
-  return { kind: "record", key: (key ?? T_STRING), val: (val_ ?? T_UNKNOWN) };
-}
-module.exports.T_RECORD = T_RECORD;
-function T_LITERAL(value, kind) {
-  return { kind: "literal", value, prim: kind };
-}
-module.exports.T_LITERAL = T_LITERAL;
-function typeStr(t) {
-  if (!t) {
-    return "unknown";
-  }
-  if ((t.kind == "any")) {
-    return "Any";
-  }
-  if ((t.kind == "unknown")) {
-    return "Unknown";
-  }
-  if ((t.kind == "never")) {
-    return "Never";
-  }
-  if ((t.kind == "void")) {
-    return "Void";
-  }
-  if ((t.kind == "null")) {
-    return "Null";
-  }
-  if ((t.kind == "primitive")) {
-    return t.name;
-  }
-  if ((t.kind == "literal")) {
-    return JSON.stringify(t.value);
-  }
-  if ((t.kind == "union")) {
-    return t.members.map(typeStr).join(" | ");
-  }
-  if ((t.kind == "intersection")) {
-    return t.members.map(typeStr).join(" & ");
-  }
-  if ((t.kind == "tuple")) {
-    return (("[" + t.types.map(typeStr).join(", ")) + "]");
-  }
-  if ((t.kind == "object")) {
-    const entries = [];
-    for (const pair of (t.shape ?? new Map()).entries()) {
-      entries.push(((pair[0] + ": ") + typeStr(pair[1])));
-    }
-    return (("{" + entries.join(", ")) + "}");
-  }
-  if ((t.kind == "record")) {
-    return (((("Record<" + typeStr(t.key)) + ", ") + typeStr(t.val)) + ">");
-  }
-  if ((t.kind == "generic")) {
-    if ((t.args && (t.args.length > 0))) {
-      return (((t.name + "<") + t.args.map(typeStr).join(", ")) + ">");
-    }
-    return t.name;
-  }
-  if ((t.kind == "named")) {
-    return t.name;
-  }
-  if ((t.kind == "fn")) {
-    return ((("(" + (t.params ?? []).map(typeStr).join(", ")) + ") -> ") + typeStr(t.ret));
-  }
-  if ((t.kind == "keyof")) {
-    return ("keyof " + typeStr(t.inner));
-  }
-  if ((t.kind == "conditional")) {
-    return ((((((typeStr(t.check) + " extends ") + typeStr(t.extends)) + " ? ") + typeStr(t.then)) + " : ") + typeStr(t.else));
-  }
-  return "unknown";
-}
-module.exports.typeStr = typeStr;
-function splitAtTopLevel(str, sep) {
-  const parts = [];
-  let depth = 0;
-  let start = 0;
-  let i = 0;
-  while ((i < str.length)) {
-    const c = str[i];
-    if ("<([{".includes(c)) {
-      depth = (depth + 1);
-    }
-    else if (">)]}".includes(c)) {
-      depth = (depth - 1);
-    }
-    else if (((depth == 0) && (str.slice(i, (i + sep.length)) == sep))) {
-      parts.push(str.slice(start, i));
-      start = (i + sep.length);
-      i = ((i + sep.length) - 1);
-    }
-    i = (i + 1);
-  }
-  parts.push(str.slice(start));
-  return parts.filter((p) => (p.trim().length > 0));
-}
-const PRIMITIVE_MAP = { String: T_STRING, string: T_STRING, Int: T_INT, int: T_INT, Float: T_FLOAT, float: T_FLOAT, Number: T_NUMBER, number: T_NUMBER, Bool: T_BOOL, boolean: T_BOOL, Boolean: T_BOOL, bool: T_BOOL, Void: T_VOID, void: T_VOID, Never: T_NEVER, never: T_NEVER, Any: T_ANY, any: T_ANY, Unknown: T_UNKNOWN, unknown: T_UNKNOWN, Null: T_NULL, null: T_NULL, undefined: T_VOID, Object: T_NAMED("Object"), object: T_NAMED("Object"), Symbol: T_NAMED("Symbol"), symbol: T_NAMED("Symbol"), BigInt: T_NAMED("BigInt"), bigint: T_NAMED("BigInt") };
-function parseAnnotation(str) {
-  if (!str) {
-    return null;
-  }
-  let s = str.trim();
-  if ((s.startsWith("(") && s.endsWith(")"))) {
-    s = s.slice(1, -1).trim();
-  }
-  const unionParts = splitAtTopLevel(s, " | ");
-  if ((unionParts.length > 1)) {
-    return T_UNION(...unionParts.map(parseAnnotation));
-  }
-  const interParts = splitAtTopLevel(s, " & ");
-  if ((interParts.length > 1)) {
-    return T_INTERSECTION(...interParts.map(parseAnnotation));
-  }
-  const condMatch = s.match(/^(\w+)\s+extends\s+(.+?)\s*\?\s*(.+?)\s*:\s*(.+)$/);
-  if (condMatch) {
-    return { kind: "conditional", check: parseAnnotation(condMatch[1]), extends: parseAnnotation(condMatch[2]), then: parseAnnotation(condMatch[3]), else: parseAnnotation(condMatch[4]) };
-  }
-  if (s.startsWith("keyof ")) {
-    return { kind: "keyof", inner: parseAnnotation(s.slice(6)) };
-  }
-  if (s.startsWith("typeof ")) {
-    return { kind: "typeof", name: s.slice(7) };
-  }
-  if (s.startsWith("readonly ")) {
-    return parseAnnotation(s.slice(9));
-  }
-  if (s.startsWith("infer ")) {
-    return T_ANY;
-  }
-  const fnMatch = (s.match(/^fn\(([^)]*)\)\s*->\s*(.+)$/) ?? s.match(/^\(([^)]*)\)\s*->\s*(.+)$/));
-  if (fnMatch) {
-    const paramStr = fnMatch[1].trim();
-    const retStr = fnMatch[2].trim();
-    const params = (paramStr ? splitAtTopLevel(paramStr, ", ").map((p) => parseAnnotation(p.slice(((p.indexOf(":") >= 0) ? (p.indexOf(":") + 1) : 0)).trim())) : []);
-    return T_FN(params, parseAnnotation(retStr));
-  }
-  if (s.endsWith("?")) {
-    return T_NULLABLE(parseAnnotation(s.slice(0, -1)));
-  }
-  if (s.endsWith("[]")) {
-    return T_ARRAY(parseAnnotation(s.slice(0, -2)));
-  }
-  if ((s.startsWith("[") && s.endsWith("]"))) {
-    const inner = s.slice(1, -1);
-    if (!inner.trim()) {
-      return T_TUPLE([]);
-    }
-    const parts = splitAtTopLevel(inner, ", ");
-    return T_TUPLE(parts.map((p) => parseAnnotation(p.replace(/^\.\.\./, "").trim())));
-  }
-  if (s.startsWith(`${") and s.endsWith("}`)) {
-    const inner = s.slice(1, -1).trim();
-    const shape = new Map();
-    if (inner) {
-      const pairs = splitAtTopLevel(inner, ", ");
-      for (const pair of pairs) {
-        const idxMatch = pair.match(/^\[(\w+):\s*\w+\]:\s*(.+)$/);
-        if (idxMatch) {
-          shape.set("[index]", parseAnnotation(idxMatch[2]));
-          continue;
-        }
-        const colonIdx = pair.indexOf(":");
-        if ((colonIdx >= 0)) {
-          const rawKey = pair.slice(0, colonIdx).trim().replace(/^readonly\s+/, "");
-          const key = rawKey.replace(/\?$/, "");
-          const opt = rawKey.endsWith("?");
-          const valType = parseAnnotation(pair.slice((colonIdx + 1)).trim());
-          shape.set(key, (opt ? T_UNION(valType, T_VOID) : valType));
-        }
-      }
-    }
-    return T_OBJECT(shape);
-  }
-  const genMatch = s.match(/^(\w+)<(.+)>$/s);
-  if (genMatch) {
-    const gname = genMatch[1];
-    const rawArgs = splitAtTopLevel(genMatch[2], ", ");
-    const args = rawArgs.map((a) => parseAnnotation(a.trim()));
-    if ((((gname == "Array") || (gname == "List")) || (gname == "ReadonlyArray"))) {
-      return T_ARRAY((args[0] ?? T_UNKNOWN));
-    }
-    if ((gname == "NonNullable")) {
-      return resolveNonNullable(args[0]);
-    }
-    if ((gname == "Partial")) {
-      return { kind: "utility", util: "Partial", inner: args[0] };
-    }
-    if ((gname == "Required")) {
-      return { kind: "utility", util: "Required", inner: args[0] };
-    }
-    if ((gname == "Readonly")) {
-      return args[0];
-    }
-    if ((gname == "Record")) {
-      return T_RECORD((args[0] ?? T_STRING), (args[1] ?? T_UNKNOWN));
-    }
-    if ((gname == "Pick")) {
-      return { kind: "utility", util: "Pick", inner: args[0], keys: args[1] };
-    }
-    if ((gname == "Omit")) {
-      return { kind: "utility", util: "Omit", inner: args[0], keys: args[1] };
-    }
-    if ((gname == "Exclude")) {
-      return { kind: "utility", util: "Exclude", inner: args[0], keys: args[1] };
-    }
-    if ((gname == "Extract")) {
-      return { kind: "utility", util: "Extract", inner: args[0], keys: args[1] };
-    }
-    if ((gname == "ReturnType")) {
-      return { kind: "utility", util: "ReturnType", inner: args[0] };
-    }
-    if ((gname == "Parameters")) {
-      return { kind: "utility", util: "Parameters", inner: args[0] };
-    }
-    if ((gname == "Awaited")) {
-      return { kind: "utility", util: "Awaited", inner: args[0] };
-    }
-    return { kind: "generic", name: gname, args };
-  }
-  if (PRIMITIVE_MAP[s]) {
-    return PRIMITIVE_MAP[s];
-  }
-  return T_NAMED(s);
-}
-module.exports.parseAnnotation = parseAnnotation;
-function resolveNonNullable(t) {
-  if (!t) {
-    return T_UNKNOWN;
-  }
-  if ((t.kind == "union")) {
-    return T_UNION(...t.members.filter((m) => ((m.kind != "null") && (m.kind != "void"))));
-  }
-  if (((t.kind == "null") || (t.kind == "void"))) {
-    return T_NEVER;
-  }
-  return t;
-}
-function basicAssignable(from_, to_) {
-  if ((!from_ || !to_)) {
-    return true;
-  }
-  if ((to_.kind == "any")) {
-    return true;
-  }
-  if ((from_.kind == "any")) {
-    return true;
-  }
-  if ((from_.kind == "never")) {
-    return true;
-  }
-  if ((to_.kind == "unknown")) {
-    return true;
-  }
-  if (((from_.kind == "void") && (to_.kind == "void"))) {
-    return true;
-  }
-  if (((from_.kind == "null") && (to_.kind == "null"))) {
-    return true;
-  }
-  if (((from_.kind == "null") && (to_.kind == "union"))) {
-    return to_.members.some((m) => (((m.kind == "null") || (m.kind == "any")) || (m.kind == "void")));
-  }
-  if ((from_.kind == "union")) {
-    return from_.members.every((m) => basicAssignable(m, to_));
-  }
-  if ((to_.kind == "union")) {
-    return to_.members.some((m) => basicAssignable(from_, m));
-  }
-  if ((from_.kind == "intersection")) {
-    return from_.members.some((m) => basicAssignable(m, to_));
-  }
-  if ((to_.kind == "intersection")) {
-    return to_.members.every((m) => basicAssignable(from_, m));
-  }
-  if (((from_.kind == "primitive") && (to_.kind == "primitive"))) {
-    if ((from_.name == to_.name)) {
-      return true;
-    }
-    if (((to_.name == "Number") && (((from_.name == "Int") || (from_.name == "Float")) || (from_.name == "Number")))) {
-      return true;
-    }
-    if (((to_.name == "Float") && (from_.name == "Int"))) {
-      return true;
-    }
-    if (((from_.name == "Bool") && (to_.name == "Boolean"))) {
-      return true;
-    }
-    if (((from_.name == "Boolean") && (to_.name == "Bool"))) {
-      return true;
-    }
-    return false;
-  }
-  if (((from_.kind == "literal") && (to_.kind == "primitive"))) {
-    const lmap = { string: "String", number: "Number", boolean: "Bool" };
-    return ((lmap[from_.prim] == to_.name) || ((from_.prim == "number") && (((to_.name == "Int") || (to_.name == "Float")) || (to_.name == "Number"))));
-  }
-  if (((from_.kind == "named") && (to_.kind == "named"))) {
-    return ((from_.name == to_.name) || (to_.name == "Object"));
-  }
-  if (((from_.kind == "generic") && (to_.kind == "generic"))) {
-    const arrayNames = new Set(["Array", "List", "ReadonlyArray"]);
-    if ((from_.name != to_.name)) {
-      if (!(arrayNames.has(from_.name) && arrayNames.has(to_.name))) {
-        return false;
-      }
-    }
-    if ((from_.args.length != to_.args.length)) {
-      return false;
-    }
-    return from_.args.every((a, i) => basicAssignable(a, to_.args[i]));
-  }
-  if (((from_.kind == "tuple") && (to_.kind == "tuple"))) {
-    if ((from_.types.length != to_.types.length)) {
-      return false;
-    }
-    return from_.types.every((t, i) => basicAssignable(t, to_.types[i]));
-  }
-  if ((((from_.kind == "generic") && (from_.name == "Array")) && (to_.kind == "tuple"))) {
-    const elemType = (from_.args[0] ?? T_UNKNOWN);
-    if ((elemType.kind == "unknown")) {
-      return true;
-    }
-    return to_.types.every((t) => basicAssignable(elemType, t));
-  }
-  if (((from_.kind == "object") && (to_.kind == "object"))) {
-    for (const pair of to_.shape.entries()) {
-      const key = pair[0];
-      const toType = pair[1];
-      if (!from_.shape.has(key)) {
-        return false;
-      }
-      if (!basicAssignable(from_.shape.get(key), toType)) {
-        return false;
-      }
-    }
-    return true;
-  }
-  if (((from_.kind == "object") && (to_.kind == "named"))) {
-    return true;
-  }
-  if (((from_.kind == "fn") && (to_.kind == "fn"))) {
-    if ((to_.ret && from_.ret)) {
-      return basicAssignable(from_.ret, to_.ret);
-    }
-    return true;
-  }
-  if (((from_.kind == "record") && (to_.kind == "record"))) {
-    return basicAssignable(from_.val, to_.val);
-  }
-  if ((to_.kind == "utility")) {
-    return true;
-  }
-  if ((from_.kind == "utility")) {
-    return true;
-  }
-  return false;
-}
-function mergeTypes(a, b) {
-  if ((!a || (a.kind == "unknown"))) {
-    return (b ?? T_UNKNOWN);
-  }
-  if ((!b || (b.kind == "unknown"))) {
-    return a;
-  }
-  if ((typeStr(a) == typeStr(b))) {
-    return a;
-  }
-  if (((a.kind == "any") || (b.kind == "any"))) {
-    return T_ANY;
-  }
-  return T_UNION(a, b);
-}
-class TypeEnv {
-  constructor(parent, vars, retType, isAsync) {
-    this.parent = parent;
-    this.vars = vars;
-    this.retType = retType;
-    this.isAsync = isAsync;
-  }
-
-  set(name, type_) {
-    this.vars.set(name, type_);
-  }
-
-  has(name) {
-    let e = this;
-    while (e) {
-      if (e.vars.has(name)) {
-        return true;
-      }
-      e = e.parent;
-    }
-    return false;
-  }
-
-  get(name) {
-    let env = this;
-    while (env) {
-      if (env.vars.has(name)) {
-        return env.vars.get(name);
-      }
-      env = env.parent;
-    }
-    return null;
-  }
-
-  child() {
-    return new TypeEnv(this, new Map(), this.retType, this.isAsync);
-  }
-
-  childFn(retType, isAsync_) {
-    return new TypeEnv(this, new Map(), retType, (isAsync_ ?? false));
-  }
-
-  narrow(name, type_) {
-    const c = new TypeEnv(this, new Map(), this.retType, this.isAsync);
-    if ((name && type_)) {
-      c.vars.set(name, type_);
-    }
-    return c;
-  }
-
-}
-
-module.exports.TypeEnv = TypeEnv;
-class TypeCheckError {
-  constructor(message, name, hint, line, col) {
-    this.message = message;
-    this.name = name;
-    this.hint = hint;
-    this.line = line;
-    this.col = col;
-  }
-
-}
-
-class FluxTypeChecker {
-  constructor(errors, warnings, interfaces, types, classes, enums) {
-    this.errors = errors;
-    this.warnings = warnings;
-    this.interfaces = interfaces;
-    this.types = types;
-    this.classes = classes;
-    this.enums = enums;
-  }
-
-  _err(msg, loc, hint) {
-    const e = new TypeCheckError();
-    e.message = msg;
-    e.name = "TypeError";
-    e.hint = (hint ?? null);
-    if (loc) {
-      e.line = loc.line;
-      e.col = loc.col;
-    }
-    this.errors.push(e);
-  }
-
-  _warn(msg, loc, hint) {
-    const w = new TypeCheckError();
-    w.message = msg;
-    w.name = "TypeError";
-    w.hint = (hint ?? null);
-    if (loc) {
-      w.line = loc.line;
-      w.col = loc.col;
-    }
-    this.warnings.push(w);
-  }
-
-  check(ast) {
-    this.errors = [];
-    this.warnings = [];
-    this.interfaces = new Map();
-    this.types = new Map();
-    this.classes = new Map();
-    this.enums = new Map();
-    this._collectDeclarations(ast.body);
-    this._validateImplementations();
-    const env = new TypeEnv(null, new Map(), null, false);
-    this._registerBuiltins(env);
-    this._checkStmts(ast.body, env);
-    return { errors: this.errors, warnings: this.warnings };
-  }
-
-  _collectDeclarations(stmts) {
-    for (const node of stmts) {
-      const n = ((node.type == "ExportDecl") ? node.decl : node);
-      if (!n) {
-        continue;
-      }
-      if ((n.type == "InterfaceDecl")) {
-        this.interfaces.set(n.name, n);
-      }
-      else if ((n.type == "TypeDecl")) {
-        this.types.set(n.name, n);
-      }
-      else if ((n.type == "ClassDecl")) {
-        this.classes.set(n.name, n);
-      }
-      else if ((n.type == "EnumDecl")) {
-        this.enums.set(n.name, n);
-      }
-    }
-  }
-
-  _validateImplementations() {
-    for (const clsPair of this.classes.entries()) {
-      const cls = clsPair[1];
-      for (const ifaceName of (cls.interfaces ?? [])) {
-        this._checkInterfaceImpl(cls, ifaceName);
-      }
-    }
-  }
-
-  _checkInterfaceImpl(cls, ifaceName) {
-    const iface = this.interfaces.get(ifaceName);
-    if (!iface) {
-      this._warn((((("Class '" + cls.name) + "' implements unknown interface '") + ifaceName) + "'"), cls.loc, (("Define 'interface " + ifaceName) + "' before use"));
-      return;
-    }
-    for (const member of iface.members) {
-      if ((member.kind == "method")) {
-        const impl = cls.methods.find((m) => (m.name == member.name));
-        if (!impl) {
-          this._err((((((("Class '" + cls.name) + "' does not implement method '") + member.name) + "()' required by '") + ifaceName) + "'"), cls.loc, (("Add 'fn " + member.name) + "(...)' to the class"));
-        }
-      }
-      else if (((member.kind == "field") && !member.optional)) {
-        const hasField = cls.fields.find((f) => (f.name == member.name));
-        const hasMethod = cls.methods.find((m) => (m.name == member.name));
-        if ((!hasField && !hasMethod)) {
-          this._err((((((("Class '" + cls.name) + "' is missing field '") + member.name) + "' required by '") + ifaceName) + "'"), cls.loc, (((("Add '" + member.name) + ": ") + (member.typeAnn ?? "Any")) + "' to the class"));
-        }
-      }
-    }
-    for (const superIface of (iface.superInterfaces ?? [])) {
-      this._checkInterfaceImpl(cls, superIface);
-    }
-  }
-
-  _isStructurallyCompatible(objShape, typeName) {
-    const iface = this.interfaces.get(typeName);
-    if (!iface) {
-      const cls = this.classes.get(typeName);
-      if (!cls) {
-        return false;
-      }
-      for (const field of cls.fields) {
-        if ((!objShape.has(field.name) && !field.optional)) {
-          return false;
-        }
-      }
-      return true;
-    }
-    for (const member of iface.members) {
-      if (((member.kind == "field") && !member.optional)) {
-        if (!objShape.has(member.name)) {
-          return false;
-        }
-      }
-    }
-    return true;
-  }
-
-  _isAssignable(from_, to_) {
-    if ((!from_ || !to_)) {
-      return true;
-    }
-    if ((to_.kind == "any")) {
-      return true;
-    }
-    if ((from_.kind == "any")) {
-      return true;
-    }
-    if ((from_.kind == "never")) {
-      return true;
-    }
-    if ((to_.kind == "unknown")) {
-      return true;
-    }
-    if (((from_.kind == "object") && (to_.kind == "named"))) {
-      return this._isStructurallyCompatible(from_.shape, to_.name);
-    }
-    if (((from_.kind == "named") && (to_.kind == "named"))) {
-      if ((from_.name == to_.name)) {
-        return true;
-      }
-      if ((to_.name == "Object")) {
-        return true;
-      }
-      const cls = this.classes.get(from_.name);
-      if ((cls && (cls.interfaces ?? []).includes(to_.name))) {
-        return true;
-      }
-      if ((cls && (cls.superClass == to_.name))) {
-        return true;
-      }
-      const iface = this.interfaces.get(from_.name);
-      if ((iface && (iface.superInterfaces ?? []).includes(to_.name))) {
-        return true;
-      }
-      return false;
-    }
-    if ((to_.kind == "utility")) {
-      if ((to_.util == "Partial")) {
-        return true;
-      }
-      if ((to_.util == "Required")) {
-        return this._isAssignable(from_, to_.inner);
-      }
-      if ((to_.util == "NonNullable")) {
-        return ((from_.kind != "null") && (from_.kind != "void"));
-      }
-      return true;
-    }
-    if ((from_.kind == "utility")) {
-      return true;
-    }
-    return basicAssignable(from_, to_);
-  }
-
-  _analyzeNarrowingCondition(condExpr, env) {
-    if (!condExpr) {
-      return null;
-    }
-    if (((((condExpr.type == "BinaryExpr") && ((condExpr.op == "!=") || (condExpr.op == "!=="))) && (condExpr.left.type == "Identifier")) && (condExpr.right.type == "NullLit"))) {
-      const name = condExpr.left.name;
-      const t = env.get(name);
-      if ((t && (t.kind == "union"))) {
-        const narrowed = T_UNION(...t.members.filter((m) => ((m.kind != "null") && (m.kind != "void"))));
-        return { varName: name, trueType: narrowed, falseType: T_UNION(T_NULL, T_VOID) };
-      }
-    }
-    if ((((((condExpr.type == "BinaryExpr") && ((condExpr.op == "===") || (condExpr.op == "=="))) && (condExpr.left.type == "TypeofExpr")) && (condExpr.left.operand.type == "Identifier")) && (condExpr.right.type == "StringLit"))) {
-      const name = condExpr.left.operand.name;
-      const typeMap = { string: T_STRING, number: T_NUMBER, boolean: T_BOOL, undefined: T_VOID };
-      const narrowedTrue = (typeMap[condExpr.right.value] ?? T_UNKNOWN);
-      return { varName: name, trueType: narrowedTrue, falseType: (env.get(name) ?? T_UNKNOWN) };
-    }
-    if ((((condExpr.type == "BinaryExpr") && (condExpr.op == "instanceof")) && (condExpr.left.type == "Identifier"))) {
-      const name = condExpr.left.name;
-      const cls = ((condExpr.right.type == "Identifier") ? condExpr.right.name : null);
-      if (cls) {
-        return { varName: name, trueType: T_NAMED(cls), falseType: (env.get(name) ?? T_UNKNOWN) };
-      }
-    }
-    if ((condExpr.type == "Identifier")) {
-      const name = condExpr.name;
-      const t = env.get(name);
-      if ((t && (t.kind == "union"))) {
-        const narrowed = T_UNION(...t.members.filter((m) => ((m.kind != "null") && (m.kind != "void"))));
-        return { varName: name, trueType: narrowed, falseType: T_UNION(T_NULL, T_VOID) };
-      }
-    }
-    return null;
-  }
-
-  _registerBuiltins(env) {
-    env.set("console", T_NAMED("Console"));
-    env.set("process", T_NAMED("Process"));
-    env.set("Math", T_NAMED("Math"));
-    env.set("JSON", T_NAMED("JSON"));
-    env.set("Date", T_NAMED("Date"));
-    env.set("Promise", T_NAMED("Promise"));
-    env.set("Error", T_NAMED("Error"));
-    env.set("Buffer", T_NAMED("Buffer"));
-    env.set("RegExp", T_NAMED("RegExp"));
-    env.set("Map", T_NAMED("Map"));
-    env.set("Set", T_NAMED("Set"));
-    env.set("WeakMap", T_NAMED("WeakMap"));
-    env.set("WeakSet", T_NAMED("WeakSet"));
-    env.set("Symbol", T_NAMED("Symbol"));
-    env.set("Object", T_NAMED("Object"));
-    env.set("Array", T_NAMED("Array"));
-    env.set("String", T_NAMED("String"));
-    env.set("Number", T_NAMED("Number"));
-    env.set("Boolean", T_NAMED("Boolean"));
-    env.set("Function", T_NAMED("Function"));
-    env.set("parseInt", T_FN([T_STRING, T_INT], T_INT));
-    env.set("parseFloat", T_FN([T_STRING], T_FLOAT));
-    env.set("isNaN", T_FN([T_NUMBER], T_BOOL));
-    env.set("isFinite", T_FN([T_NUMBER], T_BOOL));
-    env.set("require", T_FN([T_STRING], T_ANY));
-    env.set("fetch", T_FN([T_STRING], T_ANY));
-    env.set("print", T_FN([], T_VOID));
-    env.set("undefined", T_VOID);
-    env.set("Infinity", T_NUMBER);
-    env.set("NaN", T_NUMBER);
-    env.set("globalThis", T_NAMED("Object"));
-  }
-
-  _inferType(node, env) {
-    if (!node) {
-      return T_UNKNOWN;
-    }
-    if ((node.type == "NumberLit")) {
-      if (String(node.value).includes(".")) {
-        return T_FLOAT;
-      }
-      return T_INT;
-    }
-    if ((node.type == "StringLit")) {
-      return T_STRING;
-    }
-    if ((node.type == "BoolLit")) {
-      return T_BOOL;
-    }
-    if ((node.type == "NullLit")) {
-      return T_NULL;
-    }
-    if ((node.type == "Identifier")) {
-      const t = env.get(node.name);
-      return (t ?? T_UNKNOWN);
-    }
-    if ((node.type == "ArrayExpr")) {
-      if ((node.items.length == 0)) {
-        return T_ARRAY(T_UNKNOWN);
-      }
-      const elemTypes = node.items.map((i) => (i ? this._inferType(i, env) : T_UNKNOWN));
-      const merged = elemTypes.reduce((a, b) => mergeTypes(a, b), T_UNKNOWN);
-      return T_ARRAY(merged);
-    }
-    if ((node.type == "ObjectExpr")) {
-      const shape = new Map();
-      for (const pair of node.pairs) {
-        if ((!pair.spread && pair.key)) {
-          shape.set(pair.key, (pair.value ? this._inferType(pair.value, env) : T_UNKNOWN));
-        }
-      }
-      return T_OBJECT(shape);
-    }
-    if ((node.type == "LambdaExpr")) {
-      const paramTypes = node.params.map((p) => (p.typeAnn ? parseAnnotation(p.typeAnn) : T_UNKNOWN));
-      const retType = (node.retType ? parseAnnotation(node.retType) : T_UNKNOWN);
-      return T_FN(paramTypes, retType);
-    }
-    if (((node.type == "CallExpr") || (node.type == "OptCallExpr"))) {
-      const calleeType = this._inferType(node.callee, env);
-      if ((calleeType.kind == "fn")) {
-        return (calleeType.ret ?? T_UNKNOWN);
-      }
-      return T_UNKNOWN;
-    }
-    if (((node.type == "MemberExpr") || (node.type == "OptMemberExpr"))) {
-      return T_UNKNOWN;
-    }
-    if ((node.type == "TernaryExpr")) {
-      const thenType = this._inferType(node.then, env);
-      const elseType = this._inferType(node.else_, env);
-      return mergeTypes(thenType, elseType);
-    }
-    if ((node.type == "BinaryExpr")) {
-      if ((((((node.op == "+") || (node.op == "-")) || (node.op == "*")) || (node.op == "/")) || (node.op == "%"))) {
-        return T_NUMBER;
-      }
-      if (((((((((node.op == "==") || (node.op == "!=")) || (node.op == "===")) || (node.op == "!==")) || (node.op == "<")) || (node.op == ">")) || (node.op == "<=")) || (node.op == ">="))) {
-        return T_BOOL;
-      }
-      if (((((node.op == "and") || (node.op == "or")) || (node.op == "&&")) || (node.op == "||"))) {
-        return T_BOOL;
-      }
-      return T_UNKNOWN;
-    }
-    if ((node.type == "AwaitExpr")) {
-      const inner = this._inferType(node.operand, env);
-      return inner;
-    }
-    if ((node.type == "NewExpr")) {
-      if ((node.callee && (node.callee.type == "Identifier"))) {
-        return T_NAMED(node.callee.name);
-      }
-      return T_UNKNOWN;
-    }
-    if ((node.type == "TemplateLit")) {
-      return T_STRING;
-    }
-    if (((node.type == "CastExpr") || (node.type == "AsConstExpr"))) {
-      if (node.typeAnn) {
-        return parseAnnotation(node.typeAnn);
-      }
-      return this._inferType(node.expr, env);
-    }
-    return T_UNKNOWN;
-  }
-
-  _checkStmts(stmts, env) {
-    for (const node of stmts) {
-      this._checkStmt(node, env);
-    }
-  }
-
-  _checkStmt(node, env) {
-    if (!node) {
-      return;
-    }
-    if ((node.type == "VarDecl")) {
-      const declared = (node.typeAnn ? parseAnnotation(node.typeAnn) : null);
-      let actual = null;
-      if (node.init) {
-        actual = this._inferType(node.init, env);
-      }
-      if (((declared && actual) && (actual.kind != "unknown"))) {
-        if (!this._isAssignable(actual, declared)) {
-          this._err((((((("Type '" + typeStr(actual)) + "' is not assignable to '") + node.name) + ": ") + typeStr(declared)) + "'"), node.loc, (("Change the value to match '" + typeStr(declared)) + "' or update the annotation"));
-        }
-      }
-      env.set(node.name, ((declared ?? actual) ?? T_UNKNOWN));
-    }
-    else if ((node.type == "DestructureDecl")) {
-      const srcType = (node.init ? this._inferType(node.init, env) : T_UNKNOWN);
-      if ((node.patternType == "object")) {
-        for (const p of node.pattern) {
-          let memberType = T_UNKNOWN;
-          if (((srcType.kind == "object") && srcType.shape.has(p.key))) {
-            memberType = srcType.shape.get(p.key);
-          }
-          env.set(p.alias, memberType);
-        }
-      }
-      else {
-        let idx = 0;
-        for (const p of node.pattern) {
-          if (p) {
-            let elemType = T_UNKNOWN;
-            if (((srcType.kind == "tuple") && srcType.types[idx])) {
-              elemType = srcType.types[idx];
-            }
-            else if (((srcType.kind == "generic") && (srcType.name == "Array"))) {
-              elemType = (srcType.args[0] ?? T_UNKNOWN);
-            }
-            env.set(p.name, elemType);
-          }
-          idx = (idx + 1);
-        }
-      }
-    }
-    else if ((node.type == "FnDecl")) {
-      const retType = (node.retType ? parseAnnotation(node.retType) : null);
-      const paramTypes = node.params.map((p) => (p.typeAnn ? parseAnnotation(p.typeAnn) : T_UNKNOWN));
-      if (node.name) {
-        env.set(node.name, T_FN(paramTypes, (retType ?? T_UNKNOWN)));
-      }
-      const fnEnv = env.childFn(retType, node.async);
-      let i = 0;
-      for (const p of node.params) {
-        fnEnv.set(p.name, paramTypes[i]);
-        i = (i + 1);
-      }
-      if (node.inline) {
-        const bodyType = this._inferType(node.body, fnEnv);
-        if (((retType && bodyType) && (bodyType.kind != "unknown"))) {
-          if (!this._isAssignable(bodyType, retType)) {
-            this._err((((((("Function '" + (node.name ?? "(anon)")) + "' returns '") + typeStr(bodyType)) + "' but declared '") + typeStr(retType)) + "'"), node.loc, "Fix return type or update the annotation");
-          }
-        }
-      }
-      else {
-        this._checkStmts(node.body, fnEnv);
-      }
-    }
-    else if ((node.type == "ClassDecl")) {
-      env.set(node.name, T_NAMED(node.name));
-      const clsEnv = env.child();
-      const shape = new Map();
-      for (const f of node.fields) {
-        const ft = (f.typeAnn ? parseAnnotation(f.typeAnn) : T_UNKNOWN);
-        clsEnv.set(f.name, ft);
-        shape.set(f.name, ft);
-      }
-      clsEnv.set("self", T_OBJECT(shape));
-      for (const m of node.methods) {
-        this._checkStmt(m, clsEnv);
-      }
-    }
-    else if ((node.type == "TypeDecl")) {
-      for (const v of node.variants) {
-        if ((v.fields.length == 0)) {
-          env.set(v.name, T_NAMED(node.name));
-        }
-        else {
-          env.set(v.name, T_FN(v.fields.map((f_) => T_ANY), T_NAMED(node.name)));
-        }
-      }
-    }
-    else if ((node.type == "InterfaceDecl")) {
-      env.set(node.name, T_NAMED(node.name));
-    }
-    else if ((node.type == "EnumDecl")) {
-      env.set(node.name, T_NAMED(node.name));
-    }
-    else if ((node.type == "IfStmt")) {
-      this._inferType(node.cond, env);
-      const narrowing = this._analyzeNarrowingCondition(node.cond, env);
-      const thenEnv = (narrowing ? env.narrow(narrowing.varName, narrowing.trueType) : env.child());
-      const elseEnv = (narrowing ? env.narrow(narrowing.varName, narrowing.falseType) : env.child());
-      this._checkStmts(node.then, thenEnv);
-      for (const ei of node.elseifs) {
-        this._inferType(ei.cond, env);
-        this._checkStmts(ei.body, env.child());
-      }
-      if (node.else_) {
-        this._checkStmts(node.else_, elseEnv);
-      }
-    }
-    else if ((node.type == "ForInStmt")) {
-      const iterType = this._inferType(node.iter, env);
-      const inner = env.child();
-      if (((iterType.kind == "generic") && (iterType.name == "Array"))) {
-        inner.set(node.var, (iterType.args[0] ?? T_UNKNOWN));
-      }
-      else if ((iterType.kind == "tuple")) {
-        inner.set(node.var, (iterType.types[0] ?? T_UNKNOWN));
-      }
-      else {
-        inner.set(node.var, T_UNKNOWN);
-      }
-      this._checkStmts(node.body, inner);
-    }
-    else if (((node.type == "WhileStmt") || (node.type == "DoWhileStmt"))) {
-      this._inferType(node.cond, env);
-      this._checkStmts((node.body ?? []), env.child());
-    }
-    else if ((node.type == "MatchStmt")) {
-      this._inferType(node.subject, env);
-      for (const arm of node.arms) {
-        const inner = env.child();
-        if ((arm.pattern.type == "VariantPat")) {
-          for (const b of arm.pattern.bindings) {
-            inner.set(b, T_UNKNOWN);
-          }
-        }
-        this._checkStmts(arm.body, inner);
-      }
-    }
-    else if ((node.type == "ReturnStmt")) {
-      if (node.value) {
-        const retType = env.retType;
-        const retActual = this._inferType(node.value, env);
-        if (((retType && retActual) && (retActual.kind != "unknown"))) {
-          if (!this._isAssignable(retActual, retType)) {
-            this._err((((("Return type '" + typeStr(retActual)) + "' is not assignable to declared '") + typeStr(retType)) + "'"), node.loc, "Fix the return value or update the return type annotation");
-          }
-        }
-      }
-    }
-    else if ((node.type == "TryCatchStmt")) {
-      this._checkStmts(node.tryBody, env.child());
-      if (node.catchBody) {
-        const inner = env.child();
-        if (node.catchParam) {
-          inner.set(node.catchParam, T_ANY);
-        }
-        this._checkStmts(node.catchBody, inner);
-      }
-      if (node.finallyBody) {
-        this._checkStmts(node.finallyBody, env.child());
-      }
-    }
-    else if ((node.type == "ThrowStmt")) {
-      if (node.value) {
-        this._inferType(node.value, env);
-      }
-    }
-    else if ((node.type == "ImportDecl")) {
-      if (node.defaultName) {
-        env.set(node.defaultName, T_ANY);
-      }
-      if (node.namespaceName) {
-        env.set(node.namespaceName, T_ANY);
-      }
-      for (const n of node.names) {
-        const nm = ((typeof n == "string") ? n : n.alias);
-        env.set(nm, T_ANY);
-      }
-    }
-    else if ((node.type == "ExportDecl")) {
-      if (node.isDefault) {
-        this._inferType(node.decl, env);
-      }
-      else {
-        this._checkStmt(node.decl, env);
-      }
-    }
-    else if ((node.type == "ExprStmt")) {
-      this._inferType(node.expr, env);
-    }
-  }
-
-}
-
-module.exports.FluxTypeChecker = FluxTypeChecker;
+function map(arr, fn) { return arr.map(fn); } function filter(arr, fn) { return arr.filter(fn); } function reduce(arr, fn, init) { return arguments.length >= 3 ? arr.reduce(fn, init) : arr.reduce(fn); } function find(arr, fn) { return arr.find(fn); } function some(arr, fn) { return arr.some(fn); } function every(arr, fn) { return arr.every(fn); } function join(arr, sep) { return arr.join(sep != null ? sep : ','); } function includes(arr, val) { return arr.includes(val); } function entries(obj) { return Object.entries(obj); } function trim(s) { return String(s).trim(); } function startsWith(s, prefix) { return String(s).startsWith(prefix); } function endsWith(s, suffix) { return String(s).endsWith(suffix); } "use strict"; const T_ANY = Object.freeze({ kind: "any" }); module.exports.T_ANY = T_ANY; const T_UNKNOWN = Object.freeze({ kind: "unknown" }); module.exports.T_UNKNOWN = T_UNKNOWN; const T_NEVER = Object.freeze({ kind: "never" }); module.exports.T_NEVER = T_NEVER; const T_VOID = Object.freeze({ kind: "void" }); module.exports.T_VOID = T_VOID; const T_NULL = Object.freeze({ kind: "null" }); module.exports.T_NULL = T_NULL; const T_STRING = Object.freeze({ kind: "primitive", name: "String" }); module.exports.T_STRING = T_STRING; const T_INT = Object.freeze({ kind: "primitive", name: "Int" }); module.exports.T_INT = T_INT; const T_FLOAT = Object.freeze({ kind: "primitive", name: "Float" }); module.exports.T_FLOAT = T_FLOAT; const T_NUMBER = Object.freeze({ kind: "primitive", name: "Number" }); module.exports.T_NUMBER = T_NUMBER; const T_BOOL = Object.freeze({ kind: "primitive", name: "Bool" }); module.exports.T_BOOL = T_BOOL; function T_UNION(..._g) { const flat = []; for (const _h of _g) { if ((_h && (_h.kind == "union"))) { for (const _i of _h.members) { flat.push(_i); } } else if (_h) { flat.push(_h); } } const seen = new Set(); const deduped = []; for (const _h of flat) { const k = typeStr(_h); if (!seen.has(k)) { seen.add(k); deduped.push(_h); } } if ((deduped.length == 0)) { return T_NEVER; } if ((deduped.length == 1)) { return deduped[0]; } return { kind: "union", members: deduped }; } module.exports.T_UNION = T_UNION; function T_INTERSECTION(..._g) { const flat = []; for (const _h of _g) { if ((_h && (_h.kind == "intersection"))) { for (const _i of _h.members) { flat.push(_i); } } else if (_h) { flat.push(_h); } } if ((flat.length == 1)) { return flat[0]; } return { kind: "intersection", members: flat }; } module.exports.T_INTERSECTION = T_INTERSECTION; function T_ARRAY(_j) { return { kind: "generic", name: "Array", args: [(_j ?? T_UNKNOWN)] }; } module.exports.T_ARRAY = T_ARRAY; function T_TUPLE(_k) { return { kind: "tuple", types: (_k ?? []) }; } module.exports.T_TUPLE = T_TUPLE; function T_NULLABLE(_l) { return T_UNION(_l, T_NULL); } module.exports.T_NULLABLE = T_NULLABLE; function T_NAMED(_m) { return { kind: "named", name: _m }; } module.exports.T_NAMED = T_NAMED; function T_FN(_n, _o) { return { kind: "fn", params: (_n ?? []), ret: (_o ?? T_VOID) }; } module.exports.T_FN = T_FN; function T_OBJECT(_p) { return { kind: "object", shape: (_p ?? new Map()) }; } module.exports.T_OBJECT = T_OBJECT; function T_RECORD(_q, _r) { return { kind: "record", key: (_q ?? T_STRING), val: (_r ?? T_UNKNOWN) }; } module.exports.T_RECORD = T_RECORD; function T_LITERAL(_s, _t) { return { kind: "literal", value: _s, prim: _t }; } module.exports.T_LITERAL = T_LITERAL; function typeStr(_l) { if (!_l) { return "unknown"; } if ((_l.kind == "any")) { return "Any"; } if ((_l.kind == "unknown")) { return "Unknown"; } if ((_l.kind == "never")) { return "Never"; } if ((_l.kind == "void")) { return "Void"; } if ((_l.kind == "null")) { return "Null"; } if ((_l.kind == "primitive")) { return _l.name; } if ((_l.kind == "literal")) { return JSON.stringify(_l.value); } if ((_l.kind == "union")) { return _l.members.map(typeStr).join(" | "); } if ((_l.kind == "intersection")) { return _l.members.map(typeStr).join(" & "); } if ((_l.kind == "tuple")) { return (("[" + _l.types.map(typeStr).join(", ")) + "]"); } if ((_l.kind == "object")) { const entries = []; for (const _u of (_l.shape ?? new Map()).entries()) { entries.push(((_u[0] + ": ") + typeStr(_u[1]))); } return (("{" + entries.join(", ")) + "}"); } if ((_l.kind == "record")) { return (((("Record<" + typeStr(_l.key)) + ", ") + typeStr(_l.val)) + ">"); } if ((_l.kind == "generic")) { if ((_l.args && (_l.args.length > 0))) { return (((_l.name + "<") + _l.args.map(typeStr).join(", ")) + ">"); } return _l.name; } if ((_l.kind == "named")) { return _l.name; } if ((_l.kind == "fn")) { return ((("(" + (_l.params ?? []).map(typeStr).join(", ")) + ") -> ") + typeStr(_l.ret)); } if ((_l.kind == "keyof")) { return ("keyof " + typeStr(_l.inner)); } if ((_l.kind == "conditional")) { return ((((((typeStr(_l.check) + " extends ") + typeStr(_l.extends)) + " ? ") + typeStr(_l.then)) + " : ") + typeStr(_l.else)); } return "unknown"; } module.exports.typeStr = typeStr; function _a(_v, _w) { const parts = []; let depth = 0; let start = 0; let i = 0; while ((i < _v.length)) { const c = _v[i]; if ("<([{".includes(c)) { depth = (depth + 1); } else if (">)]}".includes(c)) { depth = (depth - 1); } else if (((depth == 0) && (_v.slice(i, (i + _w.length)) == _w))) { parts.push(_v.slice(start, i)); start = (i + _w.length); i = ((i + _w.length) - 1); } i = (i + 1); } parts.push(_v.slice(start)); return parts.filter((_x) => (_x.trim().length > 0)); } const _b = { String: T_STRING, string: T_STRING, Int: T_INT, int: T_INT, Float: T_FLOAT, float: T_FLOAT, Number: T_NUMBER, number: T_NUMBER, Bool: T_BOOL, boolean: T_BOOL, Boolean: T_BOOL, bool: T_BOOL, Void: T_VOID, void: T_VOID, Never: T_NEVER, never: T_NEVER, Any: T_ANY, any: T_ANY, Unknown: T_UNKNOWN, unknown: T_UNKNOWN, Null: T_NULL, null: T_NULL, undefined: T_VOID, Object: T_NAMED("Object"), object: T_NAMED("Object"), Symbol: T_NAMED("Symbol"), symbol: T_NAMED("Symbol"), BigInt: T_NAMED("BigInt"), bigint: T_NAMED("BigInt") }; function parseAnnotation(_v) { if (!_v) { return null; } let s = _v.trim(); if ((s.startsWith("(") && s.endsWith(")"))) { s = s.slice(1, -1).trim(); } const unionParts = _a(s, " | "); if ((unionParts.length > 1)) { return T_UNION(...unionParts.map(parseAnnotation)); } const interParts = _a(s, " & "); if ((interParts.length > 1)) { return T_INTERSECTION(...interParts.map(parseAnnotation)); } const condMatch = s.match(/^(\w+)\s+extends\s+(.+?)\s*\?\s*(.+?)\s*:\s*(.+)$/); if (condMatch) { return { kind: "conditional", check: parseAnnotation(condMatch[1]), extends: parseAnnotation(condMatch[2]), then: parseAnnotation(condMatch[3]), else: parseAnnotation(condMatch[4]) }; } if (s.startsWith("keyof ")) { return { kind: "keyof", inner: parseAnnotation(s.slice(6)) }; } if (s.startsWith("typeof ")) { return { kind: "typeof", name: s.slice(7) }; } if (s.startsWith("readonly ")) { return parseAnnotation(s.slice(9)); } if (s.startsWith("infer ")) { return T_ANY; } const fnMatch = (s.match(/^fn\(([^)]*)\)\s*->\s*(.+)$/) ?? s.match(/^\(([^)]*)\)\s*->\s*(.+)$/)); if (fnMatch) { const paramStr = fnMatch[1].trim(); const retStr = fnMatch[2].trim(); const _n = (paramStr ? _a(paramStr, ", ").map((_x) => parseAnnotation(_x.slice(((_x.indexOf(":") >= 0) ? (_x.indexOf(":") + 1) : 0)).trim())) : []); return T_FN(_n, parseAnnotation(retStr)); } if (s.endsWith("?")) { return T_NULLABLE(parseAnnotation(s.slice(0, -1))); } if (s.endsWith("[]")) { return T_ARRAY(parseAnnotation(s.slice(0, -2))); } if ((s.startsWith("[") && s.endsWith("]"))) { const inner = s.slice(1, -1); if (!inner.trim()) { return T_TUPLE([]); } const parts = _a(inner, ", "); return T_TUPLE(parts.map((_x) => parseAnnotation(_x.replace(/^\.\.\./, "").trim()))); } if (s.startsWith(`${") and s.endsWith("}`)) { const inner = s.slice(1, -1).trim(); const _p = new Map(); if (inner) { const pairs = _a(inner, ", "); for (const _u of pairs) { const idxMatch = _u.match(/^\[(\w+):\s*\w+\]:\s*(.+)$/); if (idxMatch) { _p.set("[index]", parseAnnotation(idxMatch[2])); continue; } const colonIdx = _u.indexOf(":"); if ((colonIdx >= 0)) { const rawKey = _u.slice(0, colonIdx).trim().replace(/^readonly\s+/, ""); const _q = rawKey.replace(/\?$/, ""); const opt = rawKey.endsWith("?"); const valType = parseAnnotation(_u.slice((colonIdx + 1)).trim()); _p.set(_q, (opt ? T_UNION(valType, T_VOID) : valType)); } } } return T_OBJECT(_p); } const genMatch = s.match(/^(\w+)<(.+)>$/s); if (genMatch) { const gname = genMatch[1]; const rawArgs = _a(genMatch[2], ", "); const args = rawArgs.map((_y) => parseAnnotation(_y.trim())); if ((((gname == "Array") || (gname == "List")) || (gname == "ReadonlyArray"))) { return T_ARRAY((args[0] ?? T_UNKNOWN)); } if ((gname == "NonNullable")) { return _c(args[0]); } if ((gname == "Partial")) { return { kind: "utility", util: "Partial", inner: args[0] }; } if ((gname == "Required")) { return { kind: "utility", util: "Required", inner: args[0] }; } if ((gname == "Readonly")) { return args[0]; } if ((gname == "Record")) { return T_RECORD((args[0] ?? T_STRING), (args[1] ?? T_UNKNOWN)); } if ((gname == "Pick")) { return { kind: "utility", util: "Pick", inner: args[0], keys: args[1] }; } if ((gname == "Omit")) { return { kind: "utility", util: "Omit", inner: args[0], keys: args[1] }; } if ((gname == "Exclude")) { return { kind: "utility", util: "Exclude", inner: args[0], keys: args[1] }; } if ((gname == "Extract")) { return { kind: "utility", util: "Extract", inner: args[0], keys: args[1] }; } if ((gname == "ReturnType")) { return { kind: "utility", util: "ReturnType", inner: args[0] }; } if ((gname == "Parameters")) { return { kind: "utility", util: "Parameters", inner: args[0] }; } if ((gname == "Awaited")) { return { kind: "utility", util: "Awaited", inner: args[0] }; } return { kind: "generic", name: gname, args }; } if (_b[s]) { return _b[s]; } return T_NAMED(s); } module.exports.parseAnnotation = parseAnnotation; function _c(_l) { if (!_l) { return T_UNKNOWN; } if ((_l.kind == "union")) { return T_UNION(..._l.members.filter((_h) => ((_h.kind != "null") && (_h.kind != "void")))); } if (((_l.kind == "null") || (_l.kind == "void"))) { return T_NEVER; } return _l; } function _d(_z, _aa) { if ((!_z || !_aa)) { return true; } if ((_aa.kind == "any")) { return true; } if ((_z.kind == "any")) { return true; } if ((_z.kind == "never")) { return true; } if ((_aa.kind == "unknown")) { return true; } if (((_z.kind == "void") && (_aa.kind == "void"))) { return true; } if (((_z.kind == "null") && (_aa.kind == "null"))) { return true; } if (((_z.kind == "null") && (_aa.kind == "union"))) { return _aa.members.some((_h) => (((_h.kind == "null") || (_h.kind == "any")) || (_h.kind == "void"))); } if ((_z.kind == "union")) { return _z.members.every((_h) => _d(_h, _aa)); } if ((_aa.kind == "union")) { return _aa.members.some((_h) => _d(_z, _h)); } if ((_z.kind == "intersection")) { return _z.members.some((_h) => _d(_h, _aa)); } if ((_aa.kind == "intersection")) { return _aa.members.every((_h) => _d(_z, _h)); } if (((_z.kind == "primitive") && (_aa.kind == "primitive"))) { if ((_z.name == _aa.name)) { return true; } if (((_aa.name == "Number") && (((_z.name == "Int") || (_z.name == "Float")) || (_z.name == "Number")))) { return true; } if (((_aa.name == "Float") && (_z.name == "Int"))) { return true; } if (((_z.name == "Bool") && (_aa.name == "Boolean"))) { return true; } if (((_z.name == "Boolean") && (_aa.name == "Bool"))) { return true; } return false; } if (((_z.kind == "literal") && (_aa.kind == "primitive"))) { const lmap = { string: "String", number: "Number", boolean: "Bool" }; return ((lmap[_z.prim] == _aa.name) || ((_z.prim == "number") && (((_aa.name == "Int") || (_aa.name == "Float")) || (_aa.name == "Number")))); } if (((_z.kind == "named") && (_aa.kind == "named"))) { return ((_z.name == _aa.name) || (_aa.name == "Object")); } if (((_z.kind == "generic") && (_aa.kind == "generic"))) { const arrayNames = new Set(["Array", "List", "ReadonlyArray"]); if ((_z.name != _aa.name)) { if (!(arrayNames.has(_z.name) && arrayNames.has(_aa.name))) { return false; } } if ((_z.args.length != _aa.args.length)) { return false; } return _z.args.every((_y, _ab) => _d(_y, _aa.args[_ab])); } if (((_z.kind == "tuple") && (_aa.kind == "tuple"))) { if ((_z.types.length != _aa.types.length)) { return false; } return _z.types.every((_l, _ab) => _d(_l, _aa.types[_ab])); } if ((((_z.kind == "generic") && (_z.name == "Array")) && (_aa.kind == "tuple"))) { const elemType = (_z.args[0] ?? T_UNKNOWN); if ((elemType.kind == "unknown")) { return true; } return _aa.types.every((_l) => _d(elemType, _l)); } if (((_z.kind == "object") && (_aa.kind == "object"))) { for (const _u of _aa.shape.entries()) { const _q = _u[0]; const toType = _u[1]; if (!_z.shape.has(_q)) { return false; } if (!_d(_z.shape.get(_q), toType)) { return false; } } return true; } if (((_z.kind == "object") && (_aa.kind == "named"))) { return true; } if (((_z.kind == "fn") && (_aa.kind == "fn"))) { if ((_aa.ret && _z.ret)) { return _d(_z.ret, _aa.ret); } return true; } if (((_z.kind == "record") && (_aa.kind == "record"))) { return _d(_z.val, _aa.val); } if ((_aa.kind == "utility")) { return true; } if ((_z.kind == "utility")) { return true; } return false; } function _e(_y, _ac) { if ((!_y || (_y.kind == "unknown"))) { return (_ac ?? T_UNKNOWN); } if ((!_ac || (_ac.kind == "unknown"))) { return _y; } if ((typeStr(_y) == typeStr(_ac))) { return _y; } if (((_y.kind == "any") || (_ac.kind == "any"))) { return T_ANY; } return T_UNION(_y, _ac); } class TypeEnv { constructor(parent, vars, retType, isAsync) { this.parent = parent; this.vars = vars; this.retType = retType; this.isAsync = isAsync; } set(_m, _ad) { this.vars.set(_m, _ad); } has(_m) { let e = this; while (e) { if (e.vars.has(_m)) { return true; } e = e.parent; } return false; } get(_m) { let env = this; while (env) { if (env.vars.has(_m)) { return env.vars.get(_m); } env = env.parent; } return null; } child() { return new TypeEnv(this, new Map(), this.retType, this.isAsync); } childFn(_ae, _af) { return new TypeEnv(this, new Map(), _ae, (_af ?? false)); } narrow(_m, _ad) { const c = new TypeEnv(this, new Map(), this.retType, this.isAsync); if ((_m && _ad)) { c.vars.set(_m, _ad); } return c; } } module.exports.TypeEnv = TypeEnv; class _f { constructor(message, name, hint, line, col) { this.message = message; this.name = name; this.hint = hint; this.line = line; this.col = col; } } class FluxTypeChecker { constructor(errors, warnings, interfaces, types, classes, enums) { this.errors = errors; this.warnings = warnings; this.interfaces = interfaces; this.types = types; this.classes = classes; this.enums = enums; } _err(_ag, _ah, _ai) { const e = new _f(); e.message = _ag; e.name = "TypeError"; e.hint = (_ai ?? null); if (_ah) { e.line = _ah.line; e.col = _ah.col; } this.errors.push(e); } _warn(_ag, _ah, _ai) { const w = new _f(); w.message = _ag; w.name = "TypeError"; w.hint = (_ai ?? null); if (_ah) { w.line = _ah.line; w.col = _ah.col; } this.warnings.push(w); } check(_aj) { this.errors = []; this.warnings = []; this.interfaces = new Map(); this.types = new Map(); this.classes = new Map(); this.enums = new Map(); this._collectDeclarations(_aj.body); this._validateImplementations(); const env = new TypeEnv(null, new Map(), null, false); this._registerBuiltins(env); this._checkStmts(_aj.body, env); return { errors: this.errors, warnings: this.warnings }; } _collectDeclarations(_ak) { for (const _al of _ak) { const n = ((_al.type == "ExportDecl") ? _al.decl : _al); if (!n) { continue; } if ((n.type == "InterfaceDecl")) { this.interfaces.set(n.name, n); } else if ((n.type == "TypeDecl")) { this.types.set(n.name, n); } else if ((n.type == "ClassDecl")) { this.classes.set(n.name, n); } else if ((n.type == "EnumDecl")) { this.enums.set(n.name, n); } } } _validateImplementations() { for (const _am of this.classes.entries()) { const cls = _am[1]; for (const _an of (cls.interfaces ?? [])) { this._checkInterfaceImpl(cls, _an); } } } _checkInterfaceImpl(_ao, _an) { const iface = this.interfaces.get(_an); if (!iface) { this._warn((((("Class '" + _ao.name) + "' implements unknown interface '") + _an) + "'"), _ao.loc, (("Define 'interface " + _an) + "' before use")); return; } for (const _ap of iface.members) { if ((_ap.kind == "method")) { const impl = _ao.methods.find((_h) => (_h.name == _ap.name)); if (!impl) { this._err((((((("Class '" + _ao.name) + "' does not implement method '") + _ap.name) + "()' required by '") + _an) + "'"), _ao.loc, (("Add 'fn " + _ap.name) + "(...)' to the class")); } } else if (((_ap.kind == "field") && !_ap.optional)) { const hasField = _ao.fields.find((_aq) => (_aq.name == _ap.name)); const hasMethod = _ao.methods.find((_h) => (_h.name == _ap.name)); if ((!hasField && !hasMethod)) { this._err((((((("Class '" + _ao.name) + "' is missing field '") + _ap.name) + "' required by '") + _an) + "'"), _ao.loc, (((("Add '" + _ap.name) + ": ") + (_ap.typeAnn ?? "Any")) + "' to the class")); } } } for (const _ar of (iface.superInterfaces ?? [])) { this._checkInterfaceImpl(_ao, _ar); } } _isStructurallyCompatible(_as, _at) { const iface = this.interfaces.get(_at); if (!iface) { const _ao = this.classes.get(_at); if (!_ao) { return false; } for (const _au of _ao.fields) { if ((!_as.has(_au.name) && !_au.optional)) { return false; } } return true; } for (const _ap of iface.members) { if (((_ap.kind == "field") && !_ap.optional)) { if (!_as.has(_ap.name)) { return false; } } } return true; } _isAssignable(_z, _aa) { if ((!_z || !_aa)) { return true; } if ((_aa.kind == "any")) { return true; } if ((_z.kind == "any")) { return true; } if ((_z.kind == "never")) { return true; } if ((_aa.kind == "unknown")) { return true; } if (((_z.kind == "object") && (_aa.kind == "named"))) { return this._isStructurallyCompatible(_z.shape, _aa.name); } if (((_z.kind == "named") && (_aa.kind == "named"))) { if ((_z.name == _aa.name)) { return true; } if ((_aa.name == "Object")) { return true; } const _ao = this.classes.get(_z.name); if ((_ao && (_ao.interfaces ?? []).includes(_aa.name))) { return true; } if ((_ao && (_ao.superClass == _aa.name))) { return true; } const iface = this.interfaces.get(_z.name); if ((iface && (iface.superInterfaces ?? []).includes(_aa.name))) { return true; } return false; } if ((_aa.kind == "utility")) { if ((_aa.util == "Partial")) { return true; } if ((_aa.util == "Required")) { return this._isAssignable(_z, _aa.inner); } if ((_aa.util == "NonNullable")) { return ((_z.kind != "null") && (_z.kind != "void")); } return true; } if ((_z.kind == "utility")) { return true; } return _d(_z, _aa); } _analyzeNarrowingCondition(_av, _aw) { if (!_av) { return null; } if (((((_av.type == "BinaryExpr") && ((_av.op == "!=") || (_av.op == "!=="))) && (_av.left.type == "Identifier")) && (_av.right.type == "NullLit"))) { const _m = _av.left.name; const _l = _aw.get(_m); if ((_l && (_l.kind == "union"))) { const narrowed = T_UNION(..._l.members.filter((_h) => ((_h.kind != "null") && (_h.kind != "void")))); return { varName: _m, trueType: narrowed, falseType: T_UNION(T_NULL, T_VOID) }; } } if ((((((_av.type == "BinaryExpr") && ((_av.op == "===") || (_av.op == "=="))) && (_av.left.type == "TypeofExpr")) && (_av.left.operand.type == "Identifier")) && (_av.right.type == "StringLit"))) { const _m = _av.left.operand.name; const typeMap = { string: T_STRING, number: T_NUMBER, boolean: T_BOOL, undefined: T_VOID }; const narrowedTrue = (typeMap[_av.right.value] ?? T_UNKNOWN); return { varName: _m, trueType: narrowedTrue, falseType: (_aw.get(_m) ?? T_UNKNOWN) }; } if ((((_av.type == "BinaryExpr") && (_av.op == "instanceof")) && (_av.left.type == "Identifier"))) { const _m = _av.left.name; const _ao = ((_av.right.type == "Identifier") ? _av.right.name : null); if (_ao) { return { varName: _m, trueType: T_NAMED(_ao), falseType: (_aw.get(_m) ?? T_UNKNOWN) }; } } if ((_av.type == "Identifier")) { const _m = _av.name; const _l = _aw.get(_m); if ((_l && (_l.kind == "union"))) { const narrowed = T_UNION(..._l.members.filter((_h) => ((_h.kind != "null") && (_h.kind != "void")))); return { varName: _m, trueType: narrowed, falseType: T_UNION(T_NULL, T_VOID) }; } } return null; } _registerBuiltins(_aw) { _aw.set("console", T_NAMED("Console")); _aw.set("process", T_NAMED("Process")); _aw.set("Math", T_NAMED("Math")); _aw.set("JSON", T_NAMED("JSON")); _aw.set("Date", T_NAMED("Date")); _aw.set("Promise", T_NAMED("Promise")); _aw.set("Error", T_NAMED("Error")); _aw.set("Buffer", T_NAMED("Buffer")); _aw.set("RegExp", T_NAMED("RegExp")); _aw.set("Map", T_NAMED("Map")); _aw.set("Set", T_NAMED("Set")); _aw.set("WeakMap", T_NAMED("WeakMap")); _aw.set("WeakSet", T_NAMED("WeakSet")); _aw.set("Symbol", T_NAMED("Symbol")); _aw.set("Object", T_NAMED("Object")); _aw.set("Array", T_NAMED("Array")); _aw.set("String", T_NAMED("String")); _aw.set("Number", T_NAMED("Number")); _aw.set("Boolean", T_NAMED("Boolean")); _aw.set("Function", T_NAMED("Function")); _aw.set("parseInt", T_FN([T_STRING, T_INT], T_INT)); _aw.set("parseFloat", T_FN([T_STRING], T_FLOAT)); _aw.set("isNaN", T_FN([T_NUMBER], T_BOOL)); _aw.set("isFinite", T_FN([T_NUMBER], T_BOOL)); _aw.set("require", T_FN([T_STRING], T_ANY)); _aw.set("fetch", T_FN([T_STRING], T_ANY)); _aw.set("print", T_FN([], T_VOID)); _aw.set("undefined", T_VOID); _aw.set("Infinity", T_NUMBER); _aw.set("NaN", T_NUMBER); _aw.set("globalThis", T_NAMED("Object")); } _inferType(_al, _aw) { if (!_al) { return T_UNKNOWN; } if ((_al.type == "NumberLit")) { if (String(_al.value).includes(".")) { return T_FLOAT; } return T_INT; } if ((_al.type == "StringLit")) { return T_STRING; } if ((_al.type == "BoolLit")) { return T_BOOL; } if ((_al.type == "NullLit")) { return T_NULL; } if ((_al.type == "Identifier")) { const _l = _aw.get(_al.name); return (_l ?? T_UNKNOWN); } if ((_al.type == "ArrayExpr")) { if ((_al.items.length == 0)) { return T_ARRAY(T_UNKNOWN); } const elemTypes = _al.items.map((_ab) => (_ab ? this._inferType(_ab, _aw) : T_UNKNOWN)); const merged = elemTypes.reduce((_y, _ac) => _e(_y, _ac), T_UNKNOWN); return T_ARRAY(merged); } if ((_al.type == "ObjectExpr")) { const _p = new Map(); for (const _u of _al.pairs) { if ((!_u.spread && _u.key)) { _p.set(_u.key, (_u.value ? this._inferType(_u.value, _aw) : T_UNKNOWN)); } } return T_OBJECT(_p); } if ((_al.type == "LambdaExpr")) { const paramTypes = _al.params.map((_x) => (_x.typeAnn ? parseAnnotation(_x.typeAnn) : T_UNKNOWN)); const _ae = (_al.retType ? parseAnnotation(_al.retType) : T_UNKNOWN); return T_FN(paramTypes, _ae); } if (((_al.type == "CallExpr") || (_al.type == "OptCallExpr"))) { const calleeType = this._inferType(_al.callee, _aw); if ((calleeType.kind == "fn")) { return (calleeType.ret ?? T_UNKNOWN); } return T_UNKNOWN; } if (((_al.type == "MemberExpr") || (_al.type == "OptMemberExpr"))) { return T_UNKNOWN; } if ((_al.type == "TernaryExpr")) { const thenType = this._inferType(_al.then, _aw); const elseType = this._inferType(_al.else_, _aw); return _e(thenType, elseType); } if ((_al.type == "BinaryExpr")) { if ((((((_al.op == "+") || (_al.op == "-")) || (_al.op == "*")) || (_al.op == "/")) || (_al.op == "%"))) { return T_NUMBER; } if (((((((((_al.op == "==") || (_al.op == "!=")) || (_al.op == "===")) || (_al.op == "!==")) || (_al.op == "<")) || (_al.op == ">")) || (_al.op == "<=")) || (_al.op == ">="))) { return T_BOOL; } if (((((_al.op == "and") || (_al.op == "or")) || (_al.op == "&&")) || (_al.op == "||"))) { return T_BOOL; } return T_UNKNOWN; } if ((_al.type == "AwaitExpr")) { const inner = this._inferType(_al.operand, _aw); return inner; } if ((_al.type == "NewExpr")) { if ((_al.callee && (_al.callee.type == "Identifier"))) { return T_NAMED(_al.callee.name); } return T_UNKNOWN; } if ((_al.type == "TemplateLit")) { return T_STRING; } if (((_al.type == "CastExpr") || (_al.type == "AsConstExpr"))) { if (_al.typeAnn) { return parseAnnotation(_al.typeAnn); } return this._inferType(_al.expr, _aw); } return T_UNKNOWN; } _checkStmts(_ak, _aw) { for (const _al of _ak) { this._checkStmt(_al, _aw); } } _checkStmt(_al, _aw) { if (!_al) { return; } if ((_al.type == "VarDecl")) { const declared = (_al.typeAnn ? parseAnnotation(_al.typeAnn) : null); let actual = null; if (_al.init) { actual = this._inferType(_al.init, _aw); } if (((declared && actual) && (actual.kind != "unknown"))) { if (!this._isAssignable(actual, declared)) { this._err((((((("Type '" + typeStr(actual)) + "' is not assignable to '") + _al.name) + ": ") + typeStr(declared)) + "'"), _al.loc, (("Change the value to match '" + typeStr(declared)) + "' or update the annotation")); } } _aw.set(_al.name, ((declared ?? actual) ?? T_UNKNOWN)); } else if ((_al.type == "DestructureDecl")) { const srcType = (_al.init ? this._inferType(_al.init, _aw) : T_UNKNOWN); if ((_al.patternType == "object")) { for (const _x of _al.pattern) { let memberType = T_UNKNOWN; if (((srcType.kind == "object") && srcType.shape.has(_x.key))) { memberType = srcType.shape.get(_x.key); } _aw.set(_x.alias, memberType); } } else { let idx = 0; for (const _x of _al.pattern) { if (_x) { let elemType = T_UNKNOWN; if (((srcType.kind == "tuple") && srcType.types[idx])) { elemType = srcType.types[idx]; } else if (((srcType.kind == "generic") && (srcType.name == "Array"))) { elemType = (srcType.args[0] ?? T_UNKNOWN); } _aw.set(_x.name, elemType); } idx = (idx + 1); } } } else if ((_al.type == "FnDecl")) { const _ae = (_al.retType ? parseAnnotation(_al.retType) : null); const paramTypes = _al.params.map((_x) => (_x.typeAnn ? parseAnnotation(_x.typeAnn) : T_UNKNOWN)); if (_al.name) { _aw.set(_al.name, T_FN(paramTypes, (_ae ?? T_UNKNOWN))); } const fnEnv = _aw.childFn(_ae, _al.async); let _ab = 0; for (const _x of _al.params) { fnEnv.set(_x.name, paramTypes[_ab]); _ab = (_ab + 1); } if (_al.inline) { const bodyType = this._inferType(_al.body, fnEnv); if (((_ae && bodyType) && (bodyType.kind != "unknown"))) { if (!this._isAssignable(bodyType, _ae)) { this._err((((((("Function '" + (_al.name ?? "(anon)")) + "' returns '") + typeStr(bodyType)) + "' but declared '") + typeStr(_ae)) + "'"), _al.loc, "Fix return type or update the annotation"); } } } else { this._checkStmts(_al.body, fnEnv); } } else if ((_al.type == "ClassDecl")) { _aw.set(_al.name, T_NAMED(_al.name)); const clsEnv = _aw.child(); const _p = new Map(); for (const _aq of _al.fields) { const ft = (_aq.typeAnn ? parseAnnotation(_aq.typeAnn) : T_UNKNOWN); clsEnv.set(_aq.name, ft); _p.set(_aq.name, ft); } clsEnv.set("self", T_OBJECT(_p)); for (const _h of _al.methods) { this._checkStmt(_h, clsEnv); } } else if ((_al.type == "DeclareDecl")) { const d = _al.decl; if ((d.type == "FnDecl")) { const _ae = (d.retType ? parseAnnotation(d.retType) : null); const paramTypes = d.params.map((_x) => (_x.typeAnn ? parseAnnotation(_x.typeAnn) : T_UNKNOWN)); if (d.name) { _aw.set(d.name, T_FN(paramTypes, (_ae ?? T_UNKNOWN))); } } else if ((d.type == "VarDecl")) { const _l = (d.typeAnn ? parseAnnotation(d.typeAnn) : T_UNKNOWN); _aw.set(d.name, _l); } else if ((d.type == "ClassDecl")) { _aw.set(d.name, T_NAMED(d.name)); } } else if ((_al.type == "TypeDecl")) { for (const _ax of _al.variants) { if ((_ax.fields.length == 0)) { _aw.set(_ax.name, T_NAMED(_al.name)); } else { _aw.set(_ax.name, T_FN(_ax.fields.map((_ay) => T_ANY), T_NAMED(_al.name))); } } } else if ((_al.type == "InterfaceDecl")) { _aw.set(_al.name, T_NAMED(_al.name)); } else if ((_al.type == "EnumDecl")) { _aw.set(_al.name, T_NAMED(_al.name)); } else if ((_al.type == "IfStmt")) { this._inferType(_al.cond, _aw); const narrowing = this._analyzeNarrowingCondition(_al.cond, _aw); const thenEnv = (narrowing ? _aw.narrow(narrowing.varName, narrowing.trueType) : _aw.child()); const elseEnv = (narrowing ? _aw.narrow(narrowing.varName, narrowing.falseType) : _aw.child()); this._checkStmts(_al.then, thenEnv); for (const _az of _al.elseifs) { this._inferType(_az.cond, _aw); this._checkStmts(_az.body, _aw.child()); } if (_al.else_) { this._checkStmts(_al.else_, elseEnv); } } else if ((_al.type == "ForInStmt")) { const iterType = this._inferType(_al.iter, _aw); const inner = _aw.child(); if (((iterType.kind == "generic") && (iterType.name == "Array"))) { inner.set(_al.var, (iterType.args[0] ?? T_UNKNOWN)); } else if ((iterType.kind == "tuple")) { inner.set(_al.var, (iterType.types[0] ?? T_UNKNOWN)); } else { inner.set(_al.var, T_UNKNOWN); } this._checkStmts(_al.body, inner); } else if (((_al.type == "WhileStmt") || (_al.type == "DoWhileStmt"))) { this._inferType(_al.cond, _aw); this._checkStmts((_al.body ?? []), _aw.child()); } else if ((_al.type == "MatchStmt")) { this._inferType(_al.subject, _aw); for (const _ba of _al.arms) { const inner = _aw.child(); if ((_ba.pattern.type == "VariantPat")) { for (const _ac of _ba.pattern.bindings) { inner.set(_ac, T_UNKNOWN); } } this._checkStmts(_ba.body, inner); } } else if ((_al.type == "ReturnStmt")) { if (_al.value) { const _ae = _aw.retType; const retActual = this._inferType(_al.value, _aw); if (((_ae && retActual) && (retActual.kind != "unknown"))) { if (!this._isAssignable(retActual, _ae)) { this._err((((("Return type '" + typeStr(retActual)) + "' is not assignable to declared '") + typeStr(_ae)) + "'"), _al.loc, "Fix the return value or update the return type annotation"); } } } } else if ((_al.type == "TryCatchStmt")) { this._checkStmts(_al.tryBody, _aw.child()); if (_al.catchBody) { const inner = _aw.child(); if (_al.catchParam) { inner.set(_al.catchParam, T_ANY); } this._checkStmts(_al.catchBody, inner); } if (_al.finallyBody) { this._checkStmts(_al.finallyBody, _aw.child()); } } else if ((_al.type == "ThrowStmt")) { if (_al.value) { this._inferType(_al.value, _aw); } } else if ((_al.type == "ImportDecl")) { if (_al.defaultName) { _aw.set(_al.defaultName, T_ANY); } if (_al.namespaceName) { _aw.set(_al.namespaceName, T_ANY); } for (const _bb of _al.names) { const nm = ((typeof _bb == "string") ? _bb : _bb.alias); _aw.set(nm, T_ANY); } } else if ((_al.type == "ExportDecl")) { if (_al.isDefault) { this._inferType(_al.decl, _aw); } else { this._checkStmt(_al.decl, _aw); } } else if ((_al.type == "ExprStmt")) { this._inferType(_al.expr, _aw); } } } module.exports.FluxTypeChecker = FluxTypeChecker;