@markw65/monkeyc-optimizer 1.1.4 → 1.1.6

package/README.md

@@ -636,3 +636,16 @@ Bug Fixes
 - Code cleanup
   - refactor some of the type code for better type safety
   - turn on the eslint rule eqeqeq and fix all the issues
+
+### 1.1.5
+
+- Bug fixes
+  - Always evaluate a constant's initializer to determine its type
+  - Fix a bug refining the object type based on the properties it accesses that could lose the type of the object.
+
+### 1.1.6
+
+- Bug fixes
+  - Fix an issue in restrictByEquality when restricting a union including an Enum, to a specific value of the enum.
+  - Fix the display of Method types to match the syntax used in MonkeyC.
+  - Infer the type of method(:symbol) by looking up symbol.

package/build/api.cjs

@@ -3022,45 +3022,115 @@ function printBlockState(block, state, indent = "") {
         console.log(`${indent} - ${typeStateEntry(value, key)}${value.equivSet ? " " + tsEquivs(state, key) : ""}`);
     });
 }
-function filterDecls(decls, possible) {
+/*
+ * We have an object, and a MemberExpression object.<name>
+ *  - decls are the StateNodes associated with the known type
+ *    of object.
+ *  - possible are all the StateNodes that declare <name>
+ *
+ * We want to find all the elements of possible which are
+ * "compatible" with decls, which tells us the set of things
+ * that object.<name> could correspond to, and also what that
+ * tells us about object.
+ *
+ * The return value is two arrays of StateNode. The first
+ * gives the refined type of object, and the second is the
+ * array of StateNodes that could declare <name>
+ */
+function filterDecls(decls, possible, name) {
     if (!possible)
-        return null;
-    return decls.reduce((cur, decl) => {
+        return [null, null];
+    const result = decls.reduce((cur, decl) => {
         const found = possible.reduce((flag, poss) => {
             if (decl === poss ||
-                (poss.type === "ClassDeclaration" &&
-                    (0,_api__WEBPACK_IMPORTED_MODULE_0__.getSuperClasses)(poss)?.has(decl)) ||
-                (decl.type === "ClassDeclaration" && (0,_api__WEBPACK_IMPORTED_MODULE_0__.getSuperClasses)(decl)?.has(poss))) {
-                if (!cur)
-                    cur = [poss];
-                else
-                    cur.push(poss);
+                (poss.type === "ClassDeclaration" && (0,_api__WEBPACK_IMPORTED_MODULE_0__.getSuperClasses)(poss)?.has(decl))) {
+                // poss extends decl, so decl must actually be a poss
+                // eg we know obj is an Object, and we call obj.toNumber
+                // so possible includes all the classes that declare toNumber
+                // so we can refine obj's type to the union of those types
+                if (!cur[0]) {
+                    cur = [new Set(), new Set()];
+                }
+                cur[0].add(poss);
+                cur[1].add(poss);
+                return true;
+            }
+            else if (decl.type === "ClassDeclaration" &&
+                (0,_api__WEBPACK_IMPORTED_MODULE_0__.getSuperClasses)(decl)?.has(poss)) {
+                // decl extends poss, so decl remains unchanged
+                // eg we know obj is Menu2, we call obj.toString
+                // Menu2 doesn't define toString, but Object does
+                // so poss is Object. But we still know that
+                // obj is Menu2
+                if (!cur[0]) {
+                    cur = [new Set(), new Set()];
+                }
+                cur[0].add(decl);
+                cur[1].add(poss);
                 return true;
             }
             return flag;
         }, false);
         if (!found) {
-            possible.some((poss) => {
-                if (decl.stack?.some((sn) => sn.decls === poss.decls)) {
-                    if (!cur)
-                        cur = [poss];
-                    else
-                        cur.push(poss);
-                    return true;
-                }
-                return false;
-            });
+            // If we didn't find the property in any of the
+            // standard places, the runtime might still find
+            // it by searching up the Module stack (and up
+            // the module stack from any super classes)
+            //
+            // eg
+            //
+            //  obj = Application.getApp();
+            //  obj.Properties.whatever
+            //
+            // Properties doesn't exist on AppBase, but AppBase
+            // is declared in Application, and Application
+            // does declare Properties. So Application.Properties
+            // is (one of) the declarations we should find; but we
+            // must not refine obj's type to include Application.
+            let d = [decl];
+            do {
+                d.forEach((d) => {
+                    const stack = d.stack;
+                    possible.forEach((poss) => {
+                        for (let i = stack.length; i--;) {
+                            const sn = stack[i];
+                            if (sn.decls === poss.decls) {
+                                if (!cur[0]) {
+                                    cur = [new Set(), new Set()];
+                                }
+                                cur[0].add(decl);
+                                cur[1].add(poss);
+                                break;
+                            }
+                            if ((0,_api__WEBPACK_IMPORTED_MODULE_0__.hasProperty)(sn.decls, name)) {
+                                break;
+                            }
+                        }
+                    });
+                });
+                d = d.flatMap((d) => {
+                    if (d.type !== "ClassDeclaration" ||
+                        !d.superClass ||
+                        d.superClass === true) {
+                        return [];
+                    }
+                    return d.superClass;
+                });
+            } while (d.length);
         }
         return cur;
-    }, null);
+    }, [null, null]);
+    if (!result[0])
+        return [null, null];
+    return [Array.from(result[0]), Array.from(result[1])];
 }
 function findObjectDeclsByProperty(state, object, next) {
     const decls = (0,_type_flow_types__WEBPACK_IMPORTED_MODULE_11__/* .getStateNodeDeclsFromType */ .iX)(state, object);
     if (!decls)
-        return null;
+        return [null, null];
     const possibleDecls = (0,_api__WEBPACK_IMPORTED_MODULE_0__.hasProperty)(state.allDeclarations, next.property.name) &&
         state.allDeclarations[next.property.name];
-    return filterDecls(decls, possibleDecls);
+    return filterDecls(decls, possibleDecls, next.property.name);
 }
 function refineObjectTypeByDecls(istate, object, trueDecls) {
     const refinedType = typeFromTypeStateNodes(istate.state, trueDecls);
@@ -3076,13 +3146,13 @@ function findNextObjectType(istate, trueDecls, next) {
     }, { type: 0 /* TypeTag.Never */ });
 }
 function resolveDottedMember(istate, object, next) {
-    const decls = findObjectDeclsByProperty(istate.state, object, next);
-    if (!decls)
+    const [objDecls, trueDecls] = findObjectDeclsByProperty(istate.state, object, next);
+    if (!objDecls)
         return null;
-    const property = findNextObjectType(istate, decls, next);
+    const property = findNextObjectType(istate, trueDecls, next);
     if (!property)
         return null;
-    const type = refineObjectTypeByDecls(istate, object, decls);
+    const type = refineObjectTypeByDecls(istate, object, objDecls);
     const mayThrow = !subtypeOf(object, type);
     return { mayThrow, object: type, property };
 }
@@ -3119,11 +3189,11 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, logThisRun) {
                     next = value.obj[me.property.name];
                 }
                 else {
-                    const trueDecls = findObjectDeclsByProperty(istate.state, cur, me);
-                    if (!trueDecls) {
+                    const [objDecls, trueDecls] = findObjectDeclsByProperty(istate.state, cur, me);
+                    if (!objDecls) {
                         return null;
                     }
-                    cur = refineObjectTypeByDecls(istate, cur, trueDecls);
+                    cur = refineObjectTypeByDecls(istate, cur, objDecls);
                     next = findNextObjectType(istate, trueDecls, me);
                 }
             }
@@ -3310,7 +3380,7 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, logThisRun) {
             const info = sysCallInfo(callee);
             if (!info)
                 return false;
-            const result = info(callee, calleeObj, () => node.arguments.map((arg) => evaluateExpr(state, arg, typeMap).value));
+            const result = info(istate.state, callee, calleeObj, () => node.arguments.map((arg) => evaluateExpr(state, arg, typeMap).value));
             if (result.calleeObj) {
                 setStateEvent(curState, calleeObjDecl, result.calleeObj, false);
             }
@@ -4632,14 +4702,18 @@ function evaluateLogicalTypes(op, left, right) {
 
 "use strict";
 /* unused harmony exports evaluateCall, checkCallArgs, sysCallInfo */
-/* harmony import */ var _api__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(6817);
-/* harmony import */ var _api__WEBPACK_IMPORTED_MODULE_0___default = /*#__PURE__*/__webpack_require__.n(_api__WEBPACK_IMPORTED_MODULE_0__);
-/* harmony import */ var _util__WEBPACK_IMPORTED_MODULE_1__ = __webpack_require__(6906);
-/* harmony import */ var _util__WEBPACK_IMPORTED_MODULE_1___default = /*#__PURE__*/__webpack_require__.n(_util__WEBPACK_IMPORTED_MODULE_1__);
-/* harmony import */ var _interp__WEBPACK_IMPORTED_MODULE_2__ = __webpack_require__(7161);
-/* harmony import */ var _sub_type__WEBPACK_IMPORTED_MODULE_3__ = __webpack_require__(9234);
-/* harmony import */ var _types__WEBPACK_IMPORTED_MODULE_4__ = __webpack_require__(7255);
-/* harmony import */ var _union_type__WEBPACK_IMPORTED_MODULE_5__ = __webpack_require__(757);
+/* harmony import */ var _optimizer_types__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(9697);
+/* harmony import */ var _type_flow__WEBPACK_IMPORTED_MODULE_1__ = __webpack_require__(4859);
+/* harmony import */ var _api__WEBPACK_IMPORTED_MODULE_2__ = __webpack_require__(6817);
+/* harmony import */ var _api__WEBPACK_IMPORTED_MODULE_2___default = /*#__PURE__*/__webpack_require__.n(_api__WEBPACK_IMPORTED_MODULE_2__);
+/* harmony import */ var _util__WEBPACK_IMPORTED_MODULE_3__ = __webpack_require__(6906);
+/* harmony import */ var _util__WEBPACK_IMPORTED_MODULE_3___default = /*#__PURE__*/__webpack_require__.n(_util__WEBPACK_IMPORTED_MODULE_3__);
+/* harmony import */ var _interp__WEBPACK_IMPORTED_MODULE_4__ = __webpack_require__(7161);
+/* harmony import */ var _sub_type__WEBPACK_IMPORTED_MODULE_5__ = __webpack_require__(9234);
+/* harmony import */ var _types__WEBPACK_IMPORTED_MODULE_6__ = __webpack_require__(7255);
+/* harmony import */ var _union_type__WEBPACK_IMPORTED_MODULE_7__ = __webpack_require__(757);
+
+
 
 
 
@@ -4668,6 +4742,20 @@ function evaluateCall(istate, node, callee, args) {
     }
     return checkCallArgs(istate, node, callee.value, args);
 }
+function calleeObjectType(istate, callee) {
+    if (callee.type === "MemberExpression") {
+        return (istate.typeMap?.get(callee.object) || {
+            type: 524287 /* TypeTag.Any */,
+        });
+    }
+    if (callee.type === "Identifier" && istate.func) {
+        const func = istate.func;
+        const [self] = func.stack.slice(-1);
+        return typeFromTypeStateNode(istate.state, self, (func.attributes & StateNodeAttributes.STATIC) !== 0 ||
+            self.type !== "ClassDeclaration");
+    }
+    return null;
+}
 function checkCallArgs(istate, node, callees, args) {
     const allDiags = [];
     const resultType = reduce(callees, (result, cur) => {
@@ -4677,13 +4765,11 @@ function checkCallArgs(istate, node, callees, args) {
         let returnType = null;
         let effects = true;
         let argEffects = true;
-        if (node.callee.type === "MemberExpression") {
-            const object = istate.typeMap?.get(node.callee.object) || {
-                type: 524287 /* TypeTag.Any */,
-            };
+        const object = calleeObjectType(istate, node.callee);
+        if (object) {
             const info = sysCallInfo(cur);
             if (info) {
-                const result = info(cur, object, () => args);
+                const result = info(istate.state, cur, object, () => args);
                 if (result.argTypes)
                     argTypes = result.argTypes;
                 if (result.returnType)
@@ -4822,7 +4908,7 @@ function sysCallInfo(func) {
 function getSystemCallTable() {
     if (systemCallInfo)
         return systemCallInfo;
-    const arrayAdd = (callee, calleeObj, getArgs) => {
+    const arrayAdd = (state, callee, calleeObj, getArgs) => {
         const ret = {};
         if (calleeObj.type & 512 /* TypeTag.Array */) {
             const adata = getUnionComponent(calleeObj, 512 /* TypeTag.Array */);
@@ -4854,7 +4940,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const arrayRet = (callee, calleeObj, _getArgs) => {
+    const arrayRet = (state, callee, calleeObj, _getArgs) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 512 /* TypeTag.Array */) {
             const adata = getUnionComponent(calleeObj, 512 /* TypeTag.Array */);
@@ -4864,7 +4950,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryGet = (callee, calleeObj, getArgs) => {
+    const dictionaryGet = (state, callee, calleeObj, getArgs) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -4878,7 +4964,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryValues = (callee, calleeObj) => {
+    const dictionaryValues = (state, callee, calleeObj) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -4888,7 +4974,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryKeys = (callee, calleeObj) => {
+    const dictionaryKeys = (state, callee, calleeObj) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -4898,7 +4984,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryPut = (callee, calleeObj, getArgs) => {
+    const dictionaryPut = (state, callee, calleeObj, getArgs) => {
         const ret = {};
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -4929,7 +5015,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const methodInvoke = (callee, calleeObj, getArgs) => {
+    const methodInvoke = (state, callee, calleeObj, getArgs) => {
         const ret = { argEffects: true };
         if (calleeObj.type & 2048 /* TypeTag.Method */) {
             const data = getUnionComponent(calleeObj, 2048 /* TypeTag.Method */);
@@ -4942,9 +5028,49 @@ function getSystemCallTable() {
         ret.argTypes = getArgs();
         return ret;
     };
+    const method = (state, callee, calleeObj, getArgs) => {
+        const ret = {};
+        const args = getArgs();
+        if (args.length === 1 &&
+            hasValue(args[0]) &&
+            args[0].type === 131072 /* TypeTag.Symbol */) {
+            const symbol = {
+                type: "Identifier",
+                name: args[0].value,
+            };
+            const next = {
+                type: "MemberExpression",
+                object: symbol,
+                property: symbol,
+                computed: false,
+            };
+            const [, trueDecls] = findObjectDeclsByProperty(state, calleeObj, next);
+            if (!trueDecls)
+                return ret;
+            const callees = trueDecls
+                .flatMap((decl) => decl.decls?.[symbol.name])
+                .filter((decl) => decl?.type === "FunctionDeclaration");
+            if (!callees.length)
+                return ret;
+            ret.returnType = callees.reduce((type, callee) => {
+                const result = callee.node.returnType
+                    ? typeFromTypespec(state, callee.node.returnType.argument, callee.stack)
+                    : { type: 524287 /* TypeTag.Any */ };
+                const args = callee.node.params.map((param) => param.type === "BinaryExpression"
+                    ? typeFromTypespec(state, param.right, callee.stack)
+                    : { type: 524287 /* TypeTag.Any */ });
+                unionInto(type, {
+                    type: 2048 /* TypeTag.Method */,
+                    value: { result, args },
+                });
+                return type;
+            }, { type: 0 /* TypeTag.Never */ });
+        }
+        return ret;
+    };
     const nop = () => ({ effectFree: true });
     const mod = () => ({});
-    const rounder = (callee, calleeObj, getArgs) => {
+    const rounder = (state, callee, calleeObj, getArgs) => {
         const results = {};
         const fn = Math[callee.name];
         results.effectFree = true;
@@ -4962,7 +5088,7 @@ function getSystemCallTable() {
             : { type: 120 /* TypeTag.Numeric */ };
         return results;
     };
-    const mathHelper = (callee, calleeObj, getArgs, helper) => {
+    const mathHelper = (state, callee, calleeObj, getArgs, helper) => {
         const results = {};
         const fn = helper && typeof helper === "function"
             ? helper
@@ -5021,6 +5147,7 @@ function getSystemCallTable() {
         "$.Toybox.Lang.Dictionary.toString": nop,
         "$.Toybox.Lang.Dictionary.values": dictionaryValues,
         "$.Toybox.Lang.Method.invoke": methodInvoke,
+        "$.Toybox.Lang.Object.method": method,
         "$.Toybox.Math.acos": mathHelper,
         "$.Toybox.Math.asin": mathHelper,
         "$.Toybox.Math.atan": mathHelper,
@@ -5028,15 +5155,15 @@ function getSystemCallTable() {
         "$.Toybox.Math.ceil": rounder,
         "$.Toybox.Math.cos": mathHelper,
         "$.Toybox.Math.floor": rounder,
-        "$.Toybox.Math.ln": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, "log"),
-        "$.Toybox.Math.log": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (x, base) => Math.log(x) / Math.log(base)),
+        "$.Toybox.Math.ln": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, "log"),
+        "$.Toybox.Math.log": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (x, base) => Math.log(x) / Math.log(base)),
         "$.Toybox.Math.pow": mathHelper,
         "$.Toybox.Math.round": rounder,
         "$.Toybox.Math.sin": mathHelper,
         "$.Toybox.Math.sqrt": mathHelper,
         "$.Toybox.Math.tan": mathHelper,
-        "$.Toybox.Math.toDegrees": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (arg) => (arg * 180) / Math.PI),
-        "$.Toybox.Math.toRadians": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (arg) => (arg * Math.PI) / 180),
+        "$.Toybox.Math.toDegrees": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (arg) => (arg * 180) / Math.PI),
+        "$.Toybox.Math.toRadians": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (arg) => (arg * Math.PI) / 180),
         "$.Toybox.Math.mean": nop,
         "$.Toybox.Math.mode": nop,
         "$.Toybox.Math.stdev": nop,
@@ -5288,9 +5415,9 @@ function getLhsConstraint(istate, node) {
         }
         const object = istate.typeMap.get(node.object);
         if (object && !node.computed) {
-            const objDecls = findObjectDeclsByProperty(istate.state, object, node);
-            if (objDecls) {
-                lookupDefs = lookupNext(istate.state, [{ parent: null, results: objDecls }], "decls", node.property);
+            const [, trueDecls] = findObjectDeclsByProperty(istate.state, object, node);
+            if (trueDecls) {
+                lookupDefs = lookupNext(istate.state, [{ parent: null, results: trueDecls }], "decls", node.property);
             }
         }
     }
@@ -6643,6 +6770,8 @@ function printBlockTrailer(block) {
 /* harmony import */ var _util__WEBPACK_IMPORTED_MODULE_4___default = /*#__PURE__*/__webpack_require__.n(_util__WEBPACK_IMPORTED_MODULE_4__);
 /* harmony import */ var _interp__WEBPACK_IMPORTED_MODULE_5__ = __webpack_require__(7161);
 /* harmony import */ var _union_type__WEBPACK_IMPORTED_MODULE_6__ = __webpack_require__(757);
+/* harmony import */ var _intersection_type__WEBPACK_IMPORTED_MODULE_7__ = __webpack_require__(6973);
+
 
 
 
@@ -6866,24 +6995,47 @@ function typeFromTypeStateNode(state, sn, classVsObj) {
             sn.resolvedType = result;
             return result;
         }
-        case "VariableDeclarator":
+        case "VariableDeclarator": {
+            if (sn.resolvedType)
+                return sn.resolvedType;
+            let declared = null;
+            if (sn.node.id.type === "BinaryExpression") {
+                declared = typeFromTypespec(state, sn.node.id.right, sn.stack);
+            }
             if (sn.node.kind === "const" && sn.node.init) {
-                let node = sn.node.init;
-                if (node.type === "Literal") {
-                    return typeFromLiteral(node);
+                if (hasProperty(sn, "resolvedType")) {
+                    // The constant is defined recursively
+                    return declared ?? { type: 524287 /* TypeTag.Any */ };
+                }
+                // set the marker in case the constant appears in its
+                // own initializer.
+                sn.resolvedType = undefined;
+                const stack = state.stack;
+                let resolved;
+                try {
+                    state.stack = sn.stack;
+                    resolved = evaluateExpr(state, sn.node.init).value;
+                }
+                finally {
+                    state.stack = stack;
                 }
-                while (node.type === "BinaryExpression" && node.operator === "as") {
-                    node = node.left;
+                if (resolved.type === 0 /* TypeTag.Never */) {
+                    resolved = declared ?? { type: 524287 /* TypeTag.Any */ };
                 }
-                if (node.type === "Literal" ||
-                    (node.type === "UnaryExpression" && node.operator === ":")) {
-                    return evaluateExpr(state, sn.node.init).value;
+                else if (declared) {
+                    resolved = intersection(resolved, declared);
+                    if (resolved.type === 0 /* TypeTag.Never */) {
+                        resolved = declared;
+                    }
                 }
+                sn.resolvedType = resolved;
+                return resolved;
             }
             if (sn.node.id.type === "BinaryExpression") {
                 return typeFromTypespec(state, sn.node.id.right, sn.stack);
             }
             return { type: 524287 /* TypeTag.Any */ };
+        }
     }
     throw new Error(`Internal error: Unexpected StateNodeDecl.type: ${sn.type}`);
 }
@@ -7217,8 +7369,8 @@ function display(type) {
             case 1024 /* TypeTag.Dictionary */:
                 return `${display(tv.value.key)}, ${display(tv.value.value)}`;
             case 2048 /* TypeTag.Method */:
-                return `(${tv.value.args
-                    .map((arg) => display(arg))
+                return `Method(${tv.value.args
+                    .map((arg, i) => `a${i + 1} as ${display(arg)}`)
                     .join(", ")}) as ${display(tv.value.result)}`;
             case 4096 /* TypeTag.Module */:
             case 8192 /* TypeTag.Function */:
@@ -7278,6 +7430,7 @@ function display(type) {
                 65536 /* TypeTag.Enum */ |
                 262144 /* TypeTag.Typedef */ |
                 131072 /* TypeTag.Symbol */ |
+                2048 /* TypeTag.Method */ |
                 256 /* TypeTag.String */)) {
             parts.push(valueStr);
         }
@@ -7305,7 +7458,7 @@ function forEachUnionComponent(v, bits, fn) {
     bits &= ~SingleTonTypeTagsConst;
     if (!bits)
         return;
-    if (v.type & UnionDataTypeTagsConst) {
+    if ((v.type | bits) & UnionDataTypeTagsConst) {
         // Don't iterate the value type bits if any union bit is set
         bits &= ~ValueTypeTagsConst;
     }
@@ -8602,7 +8755,7 @@ function visitReferences(state, ast, name, defn, callback, includeDefs = false,
             const objectType = typeMap.get(node.object);
             if (!objectType)
                 return results;
-            const decls = (0,type_flow/* findObjectDeclsByProperty */.nK)(state, objectType, node);
+            const [, decls] = (0,type_flow/* findObjectDeclsByProperty */.nK)(state, objectType, node);
             if (decls) {
                 const next = (0,external_api_cjs_.lookupNext)(state, [{ parent: null, results: decls }], "decls", node.property);
                 if (next) {

package/build/optimizer.cjs

@@ -9257,6 +9257,7 @@ function widenType(t) {
 
 
 
+
 function typeTagName(tag) {
     switch (tag) {
         case 0 /* TypeTag.Never */:
@@ -9473,24 +9474,47 @@ function typeFromTypeStateNode(state, sn, classVsObj) {
             sn.resolvedType = result;
             return result;
         }
-        case "VariableDeclarator":
+        case "VariableDeclarator": {
+            if (sn.resolvedType)
+                return sn.resolvedType;
+            let declared = null;
+            if (sn.node.id.type === "BinaryExpression") {
+                declared = typeFromTypespec(state, sn.node.id.right, sn.stack);
+            }
             if (sn.node.kind === "const" && sn.node.init) {
-                let node = sn.node.init;
-                if (node.type === "Literal") {
-                    return typeFromLiteral(node);
+                if (hasProperty(sn, "resolvedType")) {
+                    // The constant is defined recursively
+                    return declared ?? { type: 524287 /* TypeTag.Any */ };
+                }
+                // set the marker in case the constant appears in its
+                // own initializer.
+                sn.resolvedType = undefined;
+                const stack = state.stack;
+                let resolved;
+                try {
+                    state.stack = sn.stack;
+                    resolved = evaluateExpr(state, sn.node.init).value;
                 }
-                while (node.type === "BinaryExpression" && node.operator === "as") {
-                    node = node.left;
+                finally {
+                    state.stack = stack;
                 }
-                if (node.type === "Literal" ||
-                    (node.type === "UnaryExpression" && node.operator === ":")) {
-                    return evaluateExpr(state, sn.node.init).value;
+                if (resolved.type === 0 /* TypeTag.Never */) {
+                    resolved = declared ?? { type: 524287 /* TypeTag.Any */ };
+                }
+                else if (declared) {
+                    resolved = intersection(resolved, declared);
+                    if (resolved.type === 0 /* TypeTag.Never */) {
+                        resolved = declared;
+                    }
                 }
+                sn.resolvedType = resolved;
+                return resolved;
             }
             if (sn.node.id.type === "BinaryExpression") {
                 return typeFromTypespec(state, sn.node.id.right, sn.stack);
             }
             return { type: 524287 /* TypeTag.Any */ };
+        }
     }
     throw new Error(`Internal error: Unexpected StateNodeDecl.type: ${sn.type}`);
 }
@@ -9824,8 +9848,8 @@ function display(type) {
             case 1024 /* TypeTag.Dictionary */:
                 return `${display(tv.value.key)}, ${display(tv.value.value)}`;
             case 2048 /* TypeTag.Method */:
-                return `(${tv.value.args
-                    .map((arg) => display(arg))
+                return `Method(${tv.value.args
+                    .map((arg, i) => `a${i + 1} as ${display(arg)}`)
                     .join(", ")}) as ${display(tv.value.result)}`;
             case 4096 /* TypeTag.Module */:
             case 8192 /* TypeTag.Function */:
@@ -9885,6 +9909,7 @@ function display(type) {
                 65536 /* TypeTag.Enum */ |
                 262144 /* TypeTag.Typedef */ |
                 131072 /* TypeTag.Symbol */ |
+                2048 /* TypeTag.Method */ |
                 256 /* TypeTag.String */)) {
             parts.push(valueStr);
         }
@@ -9912,7 +9937,7 @@ function forEachUnionComponent(v, bits, fn) {
     bits &= ~SingleTonTypeTagsConst;
     if (!bits)
         return;
-    if (v.type & UnionDataTypeTagsConst) {
+    if ((v.type | bits) & UnionDataTypeTagsConst) {
         // Don't iterate the value type bits if any union bit is set
         bits &= ~ValueTypeTagsConst;
     }
@@ -10580,6 +10605,8 @@ function evaluateLogicalTypes(op, left, right) {
 
 
 
+
+
 function evaluateCall(istate, node, callee, args) {
     while (!hasValue(callee) || callee.type !== 8192 /* TypeTag.Function */) {
         const name = node.callee.type === "Identifier"
@@ -10602,6 +10629,20 @@ function evaluateCall(istate, node, callee, args) {
     }
     return checkCallArgs(istate, node, callee.value, args);
 }
+function calleeObjectType(istate, callee) {
+    if (callee.type === "MemberExpression") {
+        return (istate.typeMap?.get(callee.object) || {
+            type: 524287 /* TypeTag.Any */,
+        });
+    }
+    if (callee.type === "Identifier" && istate.func) {
+        const func = istate.func;
+        const [self] = func.stack.slice(-1);
+        return typeFromTypeStateNode(istate.state, self, (func.attributes & StateNodeAttributes.STATIC) !== 0 ||
+            self.type !== "ClassDeclaration");
+    }
+    return null;
+}
 function checkCallArgs(istate, node, callees, args) {
     const allDiags = [];
     const resultType = (0,external_util_cjs_namespaceObject.reduce)(callees, (result, cur) => {
@@ -10611,13 +10652,11 @@ function checkCallArgs(istate, node, callees, args) {
         let returnType = null;
         let effects = true;
         let argEffects = true;
-        if (node.callee.type === "MemberExpression") {
-            const object = istate.typeMap?.get(node.callee.object) || {
-                type: 524287 /* TypeTag.Any */,
-            };
+        const object = calleeObjectType(istate, node.callee);
+        if (object) {
             const info = sysCallInfo(cur);
             if (info) {
-                const result = info(cur, object, () => args);
+                const result = info(istate.state, cur, object, () => args);
                 if (result.argTypes)
                     argTypes = result.argTypes;
                 if (result.returnType)
@@ -10756,7 +10795,7 @@ function sysCallInfo(func) {
 function getSystemCallTable() {
     if (systemCallInfo)
         return systemCallInfo;
-    const arrayAdd = (callee, calleeObj, getArgs) => {
+    const arrayAdd = (state, callee, calleeObj, getArgs) => {
         const ret = {};
         if (calleeObj.type & 512 /* TypeTag.Array */) {
             const adata = getUnionComponent(calleeObj, 512 /* TypeTag.Array */);
@@ -10788,7 +10827,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const arrayRet = (callee, calleeObj, _getArgs) => {
+    const arrayRet = (state, callee, calleeObj, _getArgs) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 512 /* TypeTag.Array */) {
             const adata = getUnionComponent(calleeObj, 512 /* TypeTag.Array */);
@@ -10798,7 +10837,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryGet = (callee, calleeObj, getArgs) => {
+    const dictionaryGet = (state, callee, calleeObj, getArgs) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -10812,7 +10851,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryValues = (callee, calleeObj) => {
+    const dictionaryValues = (state, callee, calleeObj) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -10822,7 +10861,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryKeys = (callee, calleeObj) => {
+    const dictionaryKeys = (state, callee, calleeObj) => {
         const ret = { effectFree: true };
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -10832,7 +10871,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const dictionaryPut = (callee, calleeObj, getArgs) => {
+    const dictionaryPut = (state, callee, calleeObj, getArgs) => {
         const ret = {};
         if (calleeObj.type & 1024 /* TypeTag.Dictionary */) {
             const ddata = getUnionComponent(calleeObj, 1024 /* TypeTag.Dictionary */);
@@ -10863,7 +10902,7 @@ function getSystemCallTable() {
         }
         return ret;
     };
-    const methodInvoke = (callee, calleeObj, getArgs) => {
+    const methodInvoke = (state, callee, calleeObj, getArgs) => {
         const ret = { argEffects: true };
         if (calleeObj.type & 2048 /* TypeTag.Method */) {
             const data = getUnionComponent(calleeObj, 2048 /* TypeTag.Method */);
@@ -10876,9 +10915,49 @@ function getSystemCallTable() {
         ret.argTypes = getArgs();
         return ret;
     };
+    const method = (state, callee, calleeObj, getArgs) => {
+        const ret = {};
+        const args = getArgs();
+        if (args.length === 1 &&
+            hasValue(args[0]) &&
+            args[0].type === 131072 /* TypeTag.Symbol */) {
+            const symbol = {
+                type: "Identifier",
+                name: args[0].value,
+            };
+            const next = {
+                type: "MemberExpression",
+                object: symbol,
+                property: symbol,
+                computed: false,
+            };
+            const [, trueDecls] = findObjectDeclsByProperty(state, calleeObj, next);
+            if (!trueDecls)
+                return ret;
+            const callees = trueDecls
+                .flatMap((decl) => decl.decls?.[symbol.name])
+                .filter((decl) => decl?.type === "FunctionDeclaration");
+            if (!callees.length)
+                return ret;
+            ret.returnType = callees.reduce((type, callee) => {
+                const result = callee.node.returnType
+                    ? typeFromTypespec(state, callee.node.returnType.argument, callee.stack)
+                    : { type: 524287 /* TypeTag.Any */ };
+                const args = callee.node.params.map((param) => param.type === "BinaryExpression"
+                    ? typeFromTypespec(state, param.right, callee.stack)
+                    : { type: 524287 /* TypeTag.Any */ });
+                unionInto(type, {
+                    type: 2048 /* TypeTag.Method */,
+                    value: { result, args },
+                });
+                return type;
+            }, { type: 0 /* TypeTag.Never */ });
+        }
+        return ret;
+    };
     const nop = () => ({ effectFree: true });
     const mod = () => ({});
-    const rounder = (callee, calleeObj, getArgs) => {
+    const rounder = (state, callee, calleeObj, getArgs) => {
         const results = {};
         const fn = Math[callee.name];
         results.effectFree = true;
@@ -10896,7 +10975,7 @@ function getSystemCallTable() {
             : { type: 120 /* TypeTag.Numeric */ };
         return results;
     };
-    const mathHelper = (callee, calleeObj, getArgs, helper) => {
+    const mathHelper = (state, callee, calleeObj, getArgs, helper) => {
         const results = {};
         const fn = helper && typeof helper === "function"
             ? helper
@@ -10955,6 +11034,7 @@ function getSystemCallTable() {
         "$.Toybox.Lang.Dictionary.toString": nop,
         "$.Toybox.Lang.Dictionary.values": dictionaryValues,
         "$.Toybox.Lang.Method.invoke": methodInvoke,
+        "$.Toybox.Lang.Object.method": method,
         "$.Toybox.Math.acos": mathHelper,
         "$.Toybox.Math.asin": mathHelper,
         "$.Toybox.Math.atan": mathHelper,
@@ -10962,15 +11042,15 @@ function getSystemCallTable() {
         "$.Toybox.Math.ceil": rounder,
         "$.Toybox.Math.cos": mathHelper,
         "$.Toybox.Math.floor": rounder,
-        "$.Toybox.Math.ln": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, "log"),
-        "$.Toybox.Math.log": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (x, base) => Math.log(x) / Math.log(base)),
+        "$.Toybox.Math.ln": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, "log"),
+        "$.Toybox.Math.log": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (x, base) => Math.log(x) / Math.log(base)),
         "$.Toybox.Math.pow": mathHelper,
         "$.Toybox.Math.round": rounder,
         "$.Toybox.Math.sin": mathHelper,
         "$.Toybox.Math.sqrt": mathHelper,
         "$.Toybox.Math.tan": mathHelper,
-        "$.Toybox.Math.toDegrees": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (arg) => (arg * 180) / Math.PI),
-        "$.Toybox.Math.toRadians": (callee, calleeObj, getArgs) => mathHelper(callee, calleeObj, getArgs, (arg) => (arg * Math.PI) / 180),
+        "$.Toybox.Math.toDegrees": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (arg) => (arg * 180) / Math.PI),
+        "$.Toybox.Math.toRadians": (state, callee, calleeObj, getArgs) => mathHelper(state, callee, calleeObj, getArgs, (arg) => (arg * Math.PI) / 180),
         "$.Toybox.Math.mean": nop,
         "$.Toybox.Math.mode": nop,
         "$.Toybox.Math.stdev": nop,
@@ -11203,9 +11283,9 @@ function getLhsConstraint(istate, node) {
         }
         const object = istate.typeMap.get(node.object);
         if (object && !node.computed) {
-            const objDecls = findObjectDeclsByProperty(istate.state, object, node);
-            if (objDecls) {
-                lookupDefs = (0,external_api_cjs_namespaceObject.lookupNext)(istate.state, [{ parent: null, results: objDecls }], "decls", node.property);
+            const [, trueDecls] = findObjectDeclsByProperty(istate.state, object, node);
+            if (trueDecls) {
+                lookupDefs = (0,external_api_cjs_namespaceObject.lookupNext)(istate.state, [{ parent: null, results: trueDecls }], "decls", node.property);
             }
         }
     }
@@ -12009,45 +12089,115 @@ function printBlockState(block, state, indent = "") {
         console.log(`${indent} - ${typeStateEntry(value, key)}${value.equivSet ? " " + tsEquivs(state, key) : ""}`);
     });
 }
-function filterDecls(decls, possible) {
+/*
+ * We have an object, and a MemberExpression object.<name>
+ *  - decls are the StateNodes associated with the known type
+ *    of object.
+ *  - possible are all the StateNodes that declare <name>
+ *
+ * We want to find all the elements of possible which are
+ * "compatible" with decls, which tells us the set of things
+ * that object.<name> could correspond to, and also what that
+ * tells us about object.
+ *
+ * The return value is two arrays of StateNode. The first
+ * gives the refined type of object, and the second is the
+ * array of StateNodes that could declare <name>
+ */
+function filterDecls(decls, possible, name) {
     if (!possible)
-        return null;
-    return decls.reduce((cur, decl) => {
+        return [null, null];
+    const result = decls.reduce((cur, decl) => {
         const found = possible.reduce((flag, poss) => {
             if (decl === poss ||
-                (poss.type === "ClassDeclaration" &&
-                    (0,external_api_cjs_namespaceObject.getSuperClasses)(poss)?.has(decl)) ||
-                (decl.type === "ClassDeclaration" && (0,external_api_cjs_namespaceObject.getSuperClasses)(decl)?.has(poss))) {
-                if (!cur)
-                    cur = [poss];
-                else
-                    cur.push(poss);
+                (poss.type === "ClassDeclaration" && (0,external_api_cjs_namespaceObject.getSuperClasses)(poss)?.has(decl))) {
+                // poss extends decl, so decl must actually be a poss
+                // eg we know obj is an Object, and we call obj.toNumber
+                // so possible includes all the classes that declare toNumber
+                // so we can refine obj's type to the union of those types
+                if (!cur[0]) {
+                    cur = [new Set(), new Set()];
+                }
+                cur[0].add(poss);
+                cur[1].add(poss);
+                return true;
+            }
+            else if (decl.type === "ClassDeclaration" &&
+                (0,external_api_cjs_namespaceObject.getSuperClasses)(decl)?.has(poss)) {
+                // decl extends poss, so decl remains unchanged
+                // eg we know obj is Menu2, we call obj.toString
+                // Menu2 doesn't define toString, but Object does
+                // so poss is Object. But we still know that
+                // obj is Menu2
+                if (!cur[0]) {
+                    cur = [new Set(), new Set()];
+                }
+                cur[0].add(decl);
+                cur[1].add(poss);
                 return true;
             }
             return flag;
         }, false);
         if (!found) {
-            possible.some((poss) => {
-                if (decl.stack?.some((sn) => sn.decls === poss.decls)) {
-                    if (!cur)
-                        cur = [poss];
-                    else
-                        cur.push(poss);
-                    return true;
-                }
-                return false;
-            });
+            // If we didn't find the property in any of the
+            // standard places, the runtime might still find
+            // it by searching up the Module stack (and up
+            // the module stack from any super classes)
+            //
+            // eg
+            //
+            //  obj = Application.getApp();
+            //  obj.Properties.whatever
+            //
+            // Properties doesn't exist on AppBase, but AppBase
+            // is declared in Application, and Application
+            // does declare Properties. So Application.Properties
+            // is (one of) the declarations we should find; but we
+            // must not refine obj's type to include Application.
+            let d = [decl];
+            do {
+                d.forEach((d) => {
+                    const stack = d.stack;
+                    possible.forEach((poss) => {
+                        for (let i = stack.length; i--;) {
+                            const sn = stack[i];
+                            if (sn.decls === poss.decls) {
+                                if (!cur[0]) {
+                                    cur = [new Set(), new Set()];
+                                }
+                                cur[0].add(decl);
+                                cur[1].add(poss);
+                                break;
+                            }
+                            if ((0,external_api_cjs_namespaceObject.hasProperty)(sn.decls, name)) {
+                                break;
+                            }
+                        }
+                    });
+                });
+                d = d.flatMap((d) => {
+                    if (d.type !== "ClassDeclaration" ||
+                        !d.superClass ||
+                        d.superClass === true) {
+                        return [];
+                    }
+                    return d.superClass;
+                });
+            } while (d.length);
         }
         return cur;
-    }, null);
+    }, [null, null]);
+    if (!result[0])
+        return [null, null];
+    return [Array.from(result[0]), Array.from(result[1])];
 }
 function findObjectDeclsByProperty(state, object, next) {
     const decls = getStateNodeDeclsFromType(state, object);
     if (!decls)
-        return null;
+        return [null, null];
     const possibleDecls = (0,external_api_cjs_namespaceObject.hasProperty)(state.allDeclarations, next.property.name) &&
         state.allDeclarations[next.property.name];
-    return filterDecls(decls, possibleDecls);
+    return filterDecls(decls, possibleDecls, next.property.name);
 }
 function refineObjectTypeByDecls(istate, object, trueDecls) {
     const refinedType = typeFromTypeStateNodes(istate.state, trueDecls);
@@ -12063,13 +12213,13 @@ function findNextObjectType(istate, trueDecls, next) {
     }, { type: 0 /* TypeTag.Never */ });
 }
 function resolveDottedMember(istate, object, next) {
-    const decls = findObjectDeclsByProperty(istate.state, object, next);
-    if (!decls)
+    const [objDecls, trueDecls] = findObjectDeclsByProperty(istate.state, object, next);
+    if (!objDecls)
         return null;
-    const property = findNextObjectType(istate, decls, next);
+    const property = findNextObjectType(istate, trueDecls, next);
     if (!property)
         return null;
-    const type = refineObjectTypeByDecls(istate, object, decls);
+    const type = refineObjectTypeByDecls(istate, object, objDecls);
     const mayThrow = !subtypeOf(object, type);
     return { mayThrow, object: type, property };
 }
@@ -12106,11 +12256,11 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, logThisRun) {
                     next = value.obj[me.property.name];
                 }
                 else {
-                    const trueDecls = findObjectDeclsByProperty(istate.state, cur, me);
-                    if (!trueDecls) {
+                    const [objDecls, trueDecls] = findObjectDeclsByProperty(istate.state, cur, me);
+                    if (!objDecls) {
                         return null;
                     }
-                    cur = refineObjectTypeByDecls(istate, cur, trueDecls);
+                    cur = refineObjectTypeByDecls(istate, cur, objDecls);
                     next = findNextObjectType(istate, trueDecls, me);
                 }
             }
@@ -12297,7 +12447,7 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, logThisRun) {
             const info = sysCallInfo(callee);
             if (!info)
                 return false;
-            const result = info(callee, calleeObj, () => node.arguments.map((arg) => evaluateExpr(state, arg, typeMap).value));
+            const result = info(istate.state, callee, calleeObj, () => node.arguments.map((arg) => evaluateExpr(state, arg, typeMap).value));
             if (result.calleeObj) {
                 setStateEvent(curState, calleeObjDecl, result.calleeObj, false);
             }
@@ -15231,7 +15381,7 @@ async function generateOneConfig(buildConfig, manifestXML, dependencyFiles, conf
         // the oldest optimized file, we don't need to regenerate
         const source_time = await (0,external_util_cjs_namespaceObject.last_modified)(Object.keys(fnMap).concat(dependencyFiles));
         const opt_time = await (0,external_util_cjs_namespaceObject.first_modified)(Object.values(fnMap).map((v) => v.output));
-        if (source_time < opt_time && 1674613939459 < opt_time) {
+        if (source_time < opt_time && 1674707539512 < opt_time) {
             return { hasTests, diagnostics: prevDiagnostics };
         }
     }
@@ -15258,7 +15408,7 @@ async function generateOneConfig(buildConfig, manifestXML, dependencyFiles, conf
             return promises_namespaceObject.writeFile(external_path_.join(output, "build-info.json"), JSON.stringify({
                 hasTests,
                 diagnostics,
-                optimizerVersion: "1.1.4",
+                optimizerVersion: "1.1.6",
                 ...Object.fromEntries(configOptionsToCheck.map((option) => [option, config[option]])),
             }))
                 .then(() => ({ hasTests, diagnostics }));

package/build/src/optimizer-types.d.ts

@@ -129,6 +129,7 @@ export interface VariableStateNode extends BaseStateNode {
     fullName: string;
     stack: ProgramStateStack;
     used?: true;
+    resolvedType?: ExactOrUnion | undefined;
 }
 export interface EnumStateNode extends BaseStateNode {
     type: "EnumDeclaration";

package/build/src/type-flow/interp-call.d.ts

@@ -1,5 +1,5 @@
 import { mctree } from "@markw65/prettier-plugin-monkeyc";
-import { FunctionStateNode } from "src/optimizer-types";
+import { FunctionStateNode, ProgramStateAnalysis } from "../optimizer-types";
 import { InterpStackElem, InterpState } from "./interp";
 import { ExactOrUnion } from "./types";
 export declare function evaluateCall(istate: InterpState, node: mctree.CallExpression, callee: ExactOrUnion, args: ExactOrUnion[]): InterpStackElem;
@@ -11,6 +11,6 @@ declare type SysCallHelperResult = {
     effectFree?: true;
     argEffects?: true;
 };
-declare type SysCallHelper = (func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
+declare type SysCallHelper = (state: ProgramStateAnalysis, func: FunctionStateNode, calleeObj: ExactOrUnion, getArgs: () => Array<ExactOrUnion>) => SysCallHelperResult;
 export declare function sysCallInfo(func: FunctionStateNode): SysCallHelper | null;
 export {};

package/build/src/type-flow.d.ts

@@ -4,7 +4,7 @@ import { InterpState } from "./type-flow/interp";
 import { ExactOrUnion } from "./type-flow/types";
 export declare const missingNullWorkaround = true;
 export declare function buildTypeInfo(state: ProgramStateAnalysis, func: FunctionStateNode, optimizeEquivalencies: boolean): InterpState | undefined;
-export declare function findObjectDeclsByProperty(state: ProgramStateAnalysis, object: ExactOrUnion, next: mctree.DottedMemberExpression): StateNode[] | null;
+export declare function findObjectDeclsByProperty(state: ProgramStateAnalysis, object: ExactOrUnion, next: mctree.DottedMemberExpression): [StateNode[], StateNode[]] | readonly [null, null];
 export declare function resolveDottedMember(istate: InterpState, object: ExactOrUnion, next: mctree.DottedMemberExpression): {
     mayThrow: boolean;
     object: ExactOrUnion;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@markw65/monkeyc-optimizer",
   "type": "module",
-  "version": "1.1.4",
+  "version": "1.1.6",
   "description": "Source to source optimizer for Garmin Monkey C code",
   "main": "build/optimizer.cjs",
   "types": "build/src/optimizer.d.ts",