@tsonic/frontend 0.0.35 → 0.0.37

package/dist/ir/converters/type-env.js

@@ -0,0 +1,186 @@
+/**
+ * Type environment helpers
+ *
+ * Extends ProgramContext.typeEnv with deterministic types discovered during conversion.
+ *
+ * IMPORTANT:
+ * - This is NOT TypeScript type-checking.
+ * - This is deterministic, IR-derived typing used to avoid "unknown" fallbacks
+ *   for common local variables (e.g., `const ok = x !== undefined` → boolean).
+ */
+import * as ts from "typescript";
+/**
+ * Derive the type from a converted IR expression using deterministic rules.
+ * NO TYPESCRIPT FALLBACK - types must be derivable from IR or undefined.
+ *
+ * DETERMINISTIC TYPING RULES:
+ * - Literals → use inferredType (already set deterministically in literals.ts)
+ * - Arrays → use inferredType, or derive from first element
+ * - All other expressions → use inferredType if present
+ */
+export const deriveTypeFromExpression = (expr) => {
+    if (expr.kind === "literal") {
+        return expr.inferredType;
+    }
+    if (expr.kind === "array") {
+        if (expr.inferredType)
+            return expr.inferredType;
+        const first = expr.elements[0];
+        if (!first)
+            return undefined;
+        const elementType = deriveTypeFromExpression(first);
+        return elementType ? { kind: "arrayType", elementType } : undefined;
+    }
+    if ("inferredType" in expr && expr.inferredType) {
+        return expr.inferredType;
+    }
+    return undefined;
+};
+const normalizeEnvType = (type) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "unknownType" || type.kind === "anyType")
+        return undefined;
+    return type;
+};
+const getTupleElementType = (type, index) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "tupleType") {
+        return type.elementTypes[index];
+    }
+    return undefined;
+};
+const getArrayElementType = (type, index) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "arrayType")
+        return type.elementType;
+    const tuple = getTupleElementType(type, index);
+    if (tuple)
+        return tuple;
+    return undefined;
+};
+const getObjectPropertyType = (ctx, type, propName) => {
+    if (!type)
+        return undefined;
+    if (type.kind === "objectType") {
+        const member = type.members.find((m) => m.kind === "propertySignature" && m.name === propName);
+        if (member && member.kind === "propertySignature") {
+            return member.type;
+        }
+        return undefined;
+    }
+    if (type.kind === "referenceType") {
+        const memberType = ctx.typeSystem.typeOfMember(type, {
+            kind: "byName",
+            name: propName,
+        });
+        return memberType.kind === "unknownType" ? undefined : memberType;
+    }
+    return undefined;
+};
+const getPropertyNameText = (name) => {
+    if (ts.isIdentifier(name))
+        return name.text;
+    if (ts.isStringLiteral(name))
+        return name.text;
+    if (ts.isNumericLiteral(name))
+        return name.text;
+    return undefined;
+};
+const extendEnvForBindingName = (ctx, name, sourceType, ensureEnv) => {
+    const normalizedSource = normalizeEnvType(sourceType);
+    if (!normalizedSource)
+        return;
+    if (ts.isIdentifier(name)) {
+        const declId = ctx.binding.resolveIdentifier(name);
+        if (declId) {
+            ensureEnv().set(declId.id, normalizedSource);
+        }
+        return;
+    }
+    if (ts.isArrayBindingPattern(name)) {
+        // Each element gets the array element type (or tuple element type if known).
+        for (let i = 0; i < name.elements.length; i++) {
+            const element = name.elements[i];
+            if (!element)
+                continue;
+            if (ts.isOmittedExpression(element))
+                continue;
+            const isRest = !!element.dotDotDotToken;
+            const elementType = getArrayElementType(normalizedSource, i);
+            const boundType = isRest && elementType
+                ? { kind: "arrayType", elementType }
+                : elementType;
+            extendEnvForBindingName(ctx, element.name, boundType, ensureEnv);
+        }
+        return;
+    }
+    if (ts.isObjectBindingPattern(name)) {
+        for (const element of name.elements) {
+            if (element.dotDotDotToken) {
+                // Rest object: its truthiness is object-like (always truthy if non-null),
+                // so the exact structural type is not required for boolean-context correctness.
+                continue;
+            }
+            const key = element.propertyName !== undefined
+                ? getPropertyNameText(element.propertyName)
+                : ts.isIdentifier(element.name)
+                    ? element.name.text
+                    : undefined;
+            if (!key)
+                continue;
+            const propType = getObjectPropertyType(ctx, normalizedSource, key);
+            extendEnvForBindingName(ctx, element.name, propType, ensureEnv);
+        }
+    }
+};
+const deriveDeclaratorType = (decl) => {
+    const explicitType = normalizeEnvType(decl.type);
+    if (explicitType)
+        return explicitType;
+    const initType = decl.initializer
+        ? normalizeEnvType(deriveTypeFromExpression(decl.initializer))
+        : undefined;
+    return initType;
+};
+export const withVariableDeclaratorTypeEnv = (ctx, name, decl) => {
+    const type = deriveDeclaratorType(decl);
+    if (!type)
+        return ctx;
+    let nextEnv;
+    const ensureEnv = () => {
+        if (!nextEnv)
+            nextEnv = new Map(ctx.typeEnv ?? []);
+        return nextEnv;
+    };
+    extendEnvForBindingName(ctx, name, type, ensureEnv);
+    return nextEnv ? { ...ctx, typeEnv: nextEnv } : ctx;
+};
+/**
+ * Extend ctx.typeEnv with deterministic types for declared variables.
+ *
+ * Used to type later references to locals without resorting to "unknown" fallbacks.
+ * This is required for correct emission of operators like `!x` (boolean vs truthiness).
+ */
+export const withVariableTypeEnv = (ctx, tsDecls, ir) => {
+    let nextEnv;
+    const ensureEnv = () => {
+        if (!nextEnv)
+            nextEnv = new Map(ctx.typeEnv ?? []);
+        return nextEnv;
+    };
+    for (let i = 0; i < tsDecls.length; i++) {
+        const tsDecl = tsDecls[i];
+        const irDecl = ir.declarations[i];
+        if (!tsDecl || !irDecl)
+            continue;
+        const inferredType = deriveDeclaratorType(irDecl);
+        if (!inferredType)
+            continue;
+        extendEnvForBindingName(ctx, tsDecl.name, inferredType, ensureEnv);
+    }
+    return nextEnv ? { ...ctx, typeEnv: nextEnv } : ctx;
+};
+//# sourceMappingURL=type-env.js.map

package/dist/ir/converters/type-env.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-env.js","sourceRoot":"","sources":["../../../src/ir/converters/type-env.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AASjC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAkB,EAAsB,EAAE;IACjF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,MAAM,WAAW,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACpD,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED,IAAI,cAAc,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAChD,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAwB,EAAsB,EAAE;IACxE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAAwB,EACxB,KAAa,EACO,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,WAAW,CAAC;IACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,GAAmB,EACnB,IAAwB,EACxB,QAAgB,EACI,EAAE;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAE5B,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAC7D,CAAC;QACF,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE;YACnD,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;IACpE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAAsB,EAAE;IACxE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAChD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,GAAmB,EACnB,IAAoB,EACpB,UAA8B,EAC9B,SAAoC,EAC9B,EAAE;IACR,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,gBAAgB;QAAE,OAAO;IAE9B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,MAAM,EAAE,CAAC;YACX,SAAS,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,6EAA6E;QAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;gBAAE,SAAS;YAE9C,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YACxC,MAAM,WAAW,GAAG,mBAAmB,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;YAC7D,MAAM,SAAS,GACb,MAAM,IAAI,WAAW;gBACnB,CAAC,CAAE,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAY;gBAC/C,CAAC,CAAC,WAAW,CAAC;YAElB,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QACnE,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,0EAA0E;gBAC1E,gFAAgF;gBAChF,SAAS;YACX,CAAC;YAED,MAAM,GAAG,GACP,OAAO,CAAC,YAAY,KAAK,SAAS;gBAChC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,YAAY,CAAC;gBAC3C,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;oBACnB,CAAC,CAAC,SAAS,CAAC;YAElB,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;YACnE,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAA0B,EAAsB,EAAE;IAC9E,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,YAAY;QAAE,OAAO,YAAY,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW;QAC/B,CAAC,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC9D,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,GAAmB,EACnB,IAAoB,EACpB,IAA0B,EACV,EAAE;IAClB,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IAEtB,IAAI,OAAwC,CAAC;IAC7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACpD,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAmB,EACnB,OAA0C,EAC1C,EAAyB,EACT,EAAE;IAClB,IAAI,OAAwC,CAAC;IAE7C,MAAM,SAAS,GAAG,GAAwB,EAAE;QAC1C,IAAI,CAAC,OAAO;YAAE,OAAO,GAAG,IAAI,GAAG,CAAiB,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QACnE,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,uBAAuB,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AACtD,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/frontend",
-  "version": "0.0.35",
+  "version": "0.0.37",
   "description": "TypeScript parser and IR builder for Tsonic compiler",
   "type": "module",
   "main": "./dist/index.js",