@markw65/monkeyc-optimizer 1.1.12 → 1.1.13

package/build/optimizer.cjs

@@ -6029,7 +6029,7 @@ function pragmaChecker(state, ast, diagnostics) {
             if (kind === "match") {
                 const haystack = (0,external_api_cjs_namespaceObject.formatAst)(node)
                     .replace(/([\r\n]|\s)+/g, " ")
-                    .replace(/\b\w+\s\/\*>(\w+)<\*\//g, "$1");
+                    .replace(/\b\w+\s\/\*>([\w.]+)<\*\//g, "$1");
                 if (!matcher(quote, needle, haystack)) {
                     matcher(quote, needle, haystack);
                     (0,external_api_cjs_namespaceObject.diagnostic)(state, comment, `Didn't find '${needle}' in '${haystack}'`, "ERROR");
@@ -11183,6 +11183,7 @@ const external_node_assert_namespaceObject = require("node:assert");
 
 
 
+
 function cloneAnt(antMap) {
     return new Map(antMap);
 }
@@ -11443,7 +11444,10 @@ function eliminateDeadStores(state, func, graph, logThisRun) {
             console.log(`${(0,external_api_cjs_namespaceObject.formatAst)(dead)} (${sourceLocation(dead.loc)})`));
     }
     let changes = false;
-    (0,external_api_cjs_namespaceObject.traverseAst)(func.node.body, null, (node, parent) => {
+    (0,external_api_cjs_namespaceObject.traverseAst)(func.node.body, null, (node) => {
+        const cleaned = variableCleanup(node);
+        if (cleaned !== null)
+            return cleaned;
         if (node.type === "ExpressionStatement" &&
             node.expression.type === "AssignmentExpression" &&
             deadStores.has(node.expression)) {
@@ -11465,40 +11469,17 @@ function eliminateDeadStores(state, func, graph, logThisRun) {
             changes = true;
             return { type: "Literal", value: null, raw: "null" };
         }
-        if (node.type === "VariableDeclaration") {
-            const result = [];
-            for (let i = 0; i < node.declarations.length; i++) {
-                const decl = node.declarations[i];
-                if (decl.init && deadStores.has(decl)) {
-                    const body = unused(state, decl.init);
-                    if (body.length) {
-                        if (!parent ||
-                            (parent.type !== "BlockStatement" && parent.type !== "SwitchCase")) {
-                            // Must be the init in a for statement. Fixing
-                            // it would be complicated, so just punt for now.
-                            break;
-                        }
-                        const newDeclaration = withLoc({ ...node }, node, decl.id);
-                        if (i + 1 < node.declarations.length) {
-                            newDeclaration.declarations = node.declarations.splice(0, i + 1);
-                            result.push(newDeclaration);
-                            withLoc(node, node.declarations[0], node);
-                            i = -1;
-                        }
-                        else {
-                            result.push(node);
-                        }
-                        result.push(...body);
-                    }
-                    changes = true;
-                    delete decl.init;
-                }
-            }
-            if (result.length) {
-                if (!result.includes(node)) {
-                    result.push(node);
+        if (node.type === "VariableDeclarator") {
+            const decl = node;
+            if (decl.init && deadStores.has(decl)) {
+                const body = unused(state, decl.init);
+                delete decl.init;
+                changes = true;
+                if (!body.length) {
+                    return null;
                 }
-                return result;
+                body.unshift(decl);
+                return body;
             }
         }
         return null;
@@ -11578,8 +11559,8 @@ function buildConflictGraph(state, func) {
 function addEquiv(ts, key, equiv) {
     if (key === equiv)
         return true;
-    let keyVal = ts.get(key);
-    let equivVal = ts.get(equiv);
+    const keyVal = ts.get(key);
+    const equivVal = ts.get(equiv);
     if (!keyVal || !equivVal)
         return false;
     if (equivVal.equivSet) {
@@ -11591,31 +11572,25 @@ function addEquiv(ts, key, equiv) {
     }
     // equiv is not (or no longer) part of an equivSet
     if (!keyVal.equivSet) {
-        keyVal = { ...keyVal };
         keyVal.equivSet = new Set([key, equiv]);
-        ts.set(key, keyVal);
     }
     else {
         keyVal.equivSet.add(equiv);
     }
-    equivVal = { ...equivVal, equivSet: keyVal.equivSet };
-    ts.set(equiv, equivVal);
+    equivVal.equivSet = keyVal.equivSet;
     return false;
 }
 function removeEquiv(ts, equiv) {
-    let equivVal = ts.get(equiv);
+    const equivVal = ts.get(equiv);
     if (!equivVal?.equivSet)
         return;
     equivVal.equivSet.delete(equiv);
     if (equivVal.equivSet.size === 1) {
         const other = Array.from(equivVal.equivSet)[0];
-        const otherVal = { ...ts.get(other) };
+        const otherVal = ts.get(other);
         delete otherVal.equivSet;
-        ts.set(other, otherVal);
     }
-    equivVal = { ...equivVal };
     delete equivVal.equivSet;
-    ts.set(equiv, equivVal);
 }
 function getEquivSet(ts, k) {
     const keys = ts.get(k)?.equivSet;
@@ -11669,9 +11644,14 @@ function cloneTypeState(blockState) {
     const { map, trackedMemberDecls, liveCopyPropEvents, ...rest } = blockState;
     const clone = { map: new Map(map), ...rest };
     clone.map.forEach((value, key) => {
-        if (value.equivSet && key === Array.from(value.equivSet)[0]) {
-            const equivSet = new Set(value.equivSet);
-            equivSet.forEach((k) => clone.map.set(k, { ...clone.map.get(k), equivSet }));
+        if (value.equivSet) {
+            if (key === Array.from(value.equivSet)[0]) {
+                const equivSet = new Set(value.equivSet);
+                equivSet.forEach((k) => clone.map.set(k, { ...clone.map.get(k), equivSet }));
+            }
+        }
+        else {
+            clone.map.set(key, { ...value });
         }
     });
     if (trackedMemberDecls) {
@@ -11708,12 +11688,9 @@ function addCopyPropEvent(blockState, item) {
     const liveCopyPropEvents = blockState.liveCopyPropEvents;
     const decl = item.event.decl;
     external_node_assert_namespaceObject(declIsLocal(decl));
-    let tov = blockState.map.get(decl);
+    const tov = blockState.map.get(decl);
     external_node_assert_namespaceObject(tov);
-    if (tov.copyPropItem !== item) {
-        tov = { ...tov, copyPropItem: item };
-        blockState.map.set(decl, tov);
-    }
+    tov.copyPropItem = item;
     item.contained.forEach((value, key) => {
         const decls = liveCopyPropEvents.get(key);
         if (!decls) {
@@ -11746,15 +11723,13 @@ function clearRelatedCopyPropEvents(blockState, decl, nodeCopyProp) {
     blockState.liveCopyPropEvents
         ?.get(decl)
         ?.forEach((cpDecl) => {
-        let value = blockState.map.get(cpDecl);
+        const value = blockState.map.get(cpDecl);
         external_node_assert_namespaceObject(value && value.copyPropItem);
         external_node_assert_namespaceObject(Array.from(value.copyPropItem.contained).some(([key]) => {
             return decl === key;
         }));
         copyPropFailed(blockState, value.copyPropItem, nodeCopyProp);
-        value = { ...value };
         delete value.copyPropItem;
-        blockState.map.set(cpDecl, value);
     });
 }
 function validateTypeState(curState) {
@@ -11797,11 +11772,9 @@ function mergeTypeState(blockStates, index, from, nodeCopyProp) {
         if (tov.equivSet) {
             if (intersectEquiv(to.map, from.map, k)) {
                 changes = true;
-                tov = to.map.get(k);
             }
         }
         if (tov.assocPaths) {
-            tov = { ...tov };
             if (!fromv.assocPaths) {
                 changes = true;
                 delete tov.assocPaths;
@@ -11824,7 +11797,6 @@ function mergeTypeState(blockStates, index, from, nodeCopyProp) {
                     delete tov.assocPaths;
                 }
             }
-            to.map.set(k, tov);
         }
         // if both from and to have copyPropEvents, we can only
         // keep it if they're the same event.
@@ -11842,10 +11814,8 @@ function mergeTypeState(blockStates, index, from, nodeCopyProp) {
                     }
                     nodeCopyProp.set(fromv.copyPropItem.event.node, false);
                 }
-                tov = { ...tov };
                 delete tov.copyPropItem;
                 changes = true;
-                to.map.set(k, tov);
             }
             else {
                 external_node_assert_namespaceObject(k === tov.copyPropItem.event.decl);
@@ -11856,7 +11826,7 @@ function mergeTypeState(blockStates, index, from, nodeCopyProp) {
             if (subtypeOf(fromv.curType, tov.curType))
                 return;
             if (subtypeOf(tov.curType, fromv.curType)) {
-                to.map.set(k, { ...tov, curType: fromv.curType });
+                tov.curType = fromv.curType;
                 changes = true;
                 return;
             }
@@ -11869,7 +11839,7 @@ function mergeTypeState(blockStates, index, from, nodeCopyProp) {
             if (wide)
                 result = wide;
         }
-        to.map.set(k, { ...tov, curType: result });
+        tov.curType = result;
         changes = true;
     });
     return changes;
@@ -11894,7 +11864,6 @@ function updateAffected(blockState, objectType, baseDecl, assignedPath, affected
         let droppedComponents = null;
         const entry = blockState.map.get(key);
         external_node_assert_namespaceObject(entry && entry.assocPaths);
-        let newEntry = entry;
         entry.assocPaths.forEach((path) => {
             if (key === baseDecl && path === assignedPath) {
                 return;
@@ -11913,12 +11882,9 @@ function updateAffected(blockState, objectType, baseDecl, assignedPath, affected
                 });
                 if (pathItem === affectedName && couldBeShallow(type, objectType)) {
                     const newAssocKey = assocPath.map((av) => av.name ?? "*").join(".");
-                    if (newEntry === entry) {
-                        newEntry = { ...entry };
-                    }
                     if (newAssocKey !== path) {
-                        newEntry.assocPaths = new Set(newEntry.assocPaths);
-                        newEntry.assocPaths.delete(path);
+                        entry.assocPaths = new Set(entry.assocPaths);
+                        entry.assocPaths.delete(path);
                         // the "extra" path components will also have entries
                         // in blockState.trackedMemberDecls. Since they're gone
                         // from here, we (may) need to remove them from there
@@ -11930,8 +11896,7 @@ function updateAffected(blockState, objectType, baseDecl, assignedPath, affected
                         }
                         break;
                     }
-                    const baseType = updateByAssocPath(assocPath, assignedType, true);
-                    newEntry.curType = baseType;
+                    entry.curType = updateByAssocPath(assocPath, assignedType, true);
                     break;
                 }
                 if (pathItem === "*") {
@@ -11961,14 +11926,11 @@ function updateAffected(blockState, objectType, baseDecl, assignedPath, affected
                 }
             }
         });
-        if (newEntry !== entry) {
-            if (droppedComponents) {
-                newEntry.assocPaths.forEach((path) => path
-                    .split(".")
-                    .forEach((pathComponent) => droppedComponents.delete(pathComponent)));
-                droppedComponents.forEach((pathComponent) => blockState.trackedMemberDecls.get(pathComponent).delete(key));
-            }
-            blockState.map.set(key, newEntry);
+        if (droppedComponents) {
+            entry.assocPaths.forEach((path) => path
+                .split(".")
+                .forEach((pathComponent) => droppedComponents.delete(pathComponent)));
+            droppedComponents.forEach((pathComponent) => blockState.trackedMemberDecls.get(pathComponent).delete(key));
         }
     });
 }
@@ -12075,10 +12037,9 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
         const assocKey = assocValue.map((av) => av.name ?? "*").join(".");
         const newType = updateByAssocPath(assocValue, next, false);
         setStateEvent(blockState, decl.base, newType, newValue ? 1 /* UpdateKind.Inner */ : 0 /* UpdateKind.None */);
-        const tsv = { ...blockState.map.get(decl.base) };
+        const tsv = blockState.map.get(decl.base);
         tsv.assocPaths = new Set(tsv.assocPaths);
         tsv.assocPaths.add(assocKey);
-        blockState.map.set(decl.base, tsv);
         addTrackedMemberDecl(blockState, decl.base, assocKey);
         if (newValue) {
             const baseElem = assocValue[decl.path.length - 1];
@@ -12156,34 +12117,39 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
                 // that foo is side-effect free, and accesses no globals.
                 clearRelatedCopyPropEvents(blockState, decl, nodeCopyProp);
             }
+            const v = blockState.map.get(decl);
+            if (!v) {
+                blockState.map.set(decl, { curType: value });
+                return;
+            }
             if (updateKind !== 2 /* UpdateKind.Reassign */) {
                 /*
                  * If we're not re-assigning, the equivalencies don't
                  * change, so this update must be applied to every
                  * element of the set
                  */
-                const v = blockState.map.get(decl);
-                if (v?.equivSet) {
+                if (v.equivSet) {
                     v.equivSet.forEach((s) => {
                         const next = blockState.map.get(s);
                         external_node_assert_namespaceObject(next && next.equivSet?.has(s));
-                        blockState.map.set(s, { ...next, curType: value });
+                        next.curType = value;
                     });
                 }
                 else {
-                    blockState.map.set(decl, { ...v, curType: value });
+                    v.curType = value;
                 }
             }
             else {
-                const v = blockState.map.get(decl);
                 removeEquiv(blockState.map, decl);
-                if (v?.assocPaths?.size) {
+                if (v.assocPaths?.size) {
                     clearAssocPaths(blockState, decl, v);
+                    delete v.assocPaths;
                 }
-                if (v?.copyPropItem) {
+                if (v.copyPropItem) {
                     copyPropFailed(blockState, v.copyPropItem, nodeCopyProp);
+                    delete v.copyPropItem;
                 }
-                blockState.map.set(decl, { curType: value });
+                v.curType = value;
             }
             return;
         }
@@ -12517,7 +12483,7 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
                 break;
             }
             case "ref": {
-                let curEntry = getStateEntry(curState, event.decl);
+                const curEntry = getStateEntry(curState, event.decl);
                 typeMap.set(event.node, curEntry.curType);
                 nodeEquivs.delete(event.node);
                 if (curEntry.equivSet) {
@@ -12541,9 +12507,7 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
                             nodeCopyProp.set(curEntry.copyPropItem.event.node, event.node);
                         }
                         clearCopyProp(curState, curEntry.copyPropItem);
-                        curEntry = { ...curEntry };
                         delete curEntry.copyPropItem;
-                        curState.map.set(event.decl, curEntry);
                     }
                     else if (declIsNonLocal(event.decl)) {
                         clearRelatedCopyPropEvents(curState, null, nodeCopyProp);
@@ -12618,10 +12582,9 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
                                     setUnionComponent(type, 32768 /* TypeTag.Object */, newData);
                                     if (tsv.assocPaths) {
                                         clearAssocPaths(curState, decl, tsv);
-                                        tsv = { ...tsv };
                                         delete tsv.assocPaths;
                                     }
-                                    curState.map.set(decl, { ...tsv, curType: type });
+                                    tsv.curType = type;
                                 }
                             }
                             clearRelatedCopyPropEvents(curState, decl, nodeCopyProp);
@@ -12646,10 +12609,7 @@ function propagateTypes(state, func, graph, optimizeEquivalencies, copyPropStore
                         (event.node.type !== "AssignmentExpression" ||
                             event.node.operator !== "=")) {
                         copyPropFailed(curState, before.copyPropItem, nodeCopyProp);
-                        const v = { ...before };
-                        delete v.copyPropItem;
-                        external_node_assert_namespaceObject(isTypeStateKey(event.decl));
-                        curState.map.set(event.decl, v);
+                        delete before.copyPropItem;
                     }
                 }
                 const expr = event.node.type === "VariableDeclarator"
@@ -13318,11 +13278,6 @@ function minimizeLocals(state, func) {
                     return null;
                 }
                 break;
-            case "ExpressionStatement":
-                if (node.expression.type === "Literal") {
-                    return false;
-                }
-                break;
             case "UpdateExpression":
                 if (info) {
                     external_node_assert_namespaceObject(node.argument.type === "Identifier");
@@ -13343,7 +13298,7 @@ function minimizeLocals(state, func) {
                     }
                     // VariableDeclarations aren't allowed to have
                     // AssignmentExpressions in them, but we'll fix that
-                    // below
+                    // via variableCleanup
                     return withLoc({
                         type: "AssignmentExpression",
                         operator: "=",
@@ -13356,79 +13311,92 @@ function minimizeLocals(state, func) {
                     }, node, node);
                 }
                 break;
-            case "VariableDeclaration":
-                if (node.declarations.some((decl) => decl.type !== "VariableDeclarator")) {
-                    const results = [];
-                    node.declarations.forEach((decl) => {
-                        if (isExpression(decl)) {
-                            results.push(withLoc({ type: "ExpressionStatement", expression: decl }, decl, decl));
-                        }
-                        else if (decl.init) {
-                            results.push(withLoc({
-                                type: "ExpressionStatement",
-                                expression: withLoc({
-                                    type: "AssignmentExpression",
-                                    operator: "=",
-                                    left: withLoc({
-                                        type: "Identifier",
-                                        name: (0,external_api_cjs_namespaceObject.variableDeclarationName)(decl.id),
-                                    }, decl.id, decl.id),
-                                    right: decl.init,
-                                }, decl, decl),
-                            }, decl, decl));
-                        }
-                    });
-                    node.declarations = node.declarations.filter((decl) => {
-                        if (decl.type === "VariableDeclarator") {
-                            delete decl.init;
-                            return true;
-                        }
-                        return false;
-                    });
-                    if (node.declarations.length) {
-                        withLocDeep(node, node, false);
-                        results.unshift(node);
+        }
+        external_node_assert_namespaceObject(!info);
+        return variableCleanup(node);
+    });
+    return;
+}
+function variableCleanup(node) {
+    switch (node.type) {
+        case "ExpressionStatement":
+            if (node.expression.type === "Literal") {
+                return false;
+            }
+            break;
+        case "VariableDeclaration":
+            if (node.declarations.some((decl) => decl.type !== "VariableDeclarator")) {
+                const results = [];
+                node.declarations.forEach((decl) => {
+                    if (isStatement(decl)) {
+                        results.push(decl);
                     }
-                    // if this was the init of a ForStatement, this will
-                    // replace its init with a BlockStatement, so we have to
-                    // fix that below.
-                    return results;
-                }
-                break;
-            case "ForStatement":
-                if (node.init) {
-                    if (node.init.type === "BlockStatement") {
-                        const result = node.init;
-                        delete node.init;
-                        result.body.push(node);
-                        if (node.loc && result.loc) {
-                            // result has the range of the original VariableDeclaration
-                            // but now we're moving that ahead of the 'for', so to keep
-                            // things straight, we need to set the for's start to be
-                            // where result ended, and result's end to be where the for
-                            // ends (since that block now encloses the for)
-                            node.start = result.end;
-                            node.loc.start = result.loc.end;
-                            result.end = node.end;
-                            result.loc.end = node.loc.end;
-                        }
-                        return result;
+                    else if (isExpression(decl)) {
+                        results.push(withLoc({ type: "ExpressionStatement", expression: decl }, decl, decl));
                     }
-                    if (node.init.type === "Literal") {
-                        delete node.init;
+                    else if (decl.init) {
+                        results.push(withLoc({
+                            type: "ExpressionStatement",
+                            expression: withLoc({
+                                type: "AssignmentExpression",
+                                operator: "=",
+                                left: withLoc({
+                                    type: "Identifier",
+                                    name: (0,external_api_cjs_namespaceObject.variableDeclarationName)(decl.id),
+                                }, decl.id, decl.id),
+                                right: decl.init,
+                            }, decl, decl),
+                        }, decl, decl));
                     }
+                });
+                node.declarations = node.declarations.filter((decl) => {
+                    if (decl.type === "VariableDeclarator") {
+                        delete decl.init;
+                        return true;
+                    }
+                    return false;
+                });
+                if (node.declarations.length) {
+                    withLocDeep(node, node, false);
+                    results.unshift(node);
                 }
-                break;
-            case "SequenceExpression":
-                if (node.expressions.some((e) => e.type === "Literal")) {
-                    node.expressions = node.expressions.filter((e) => e.type !== "Literal");
+                // if this was the init of a ForStatement, this will
+                // replace its init with a BlockStatement, so we have to
+                // fix that below.
+                return results;
+            }
+            break;
+        case "ForStatement":
+            if (node.init) {
+                if (node.init.type === "BlockStatement") {
+                    const result = node.init;
+                    delete node.init;
+                    result.body.push(node);
+                    if (node.loc && result.loc) {
+                        // result has the range of the original VariableDeclaration
+                        // but now we're moving that ahead of the 'for', so to keep
+                        // things straight, we need to set the for's start to be
+                        // where result ended, and result's end to be where the for
+                        // ends (since that block now encloses the for)
+                        node.start = result.end;
+                        node.loc.start = result.loc.end;
+                        result.end = node.end;
+                        result.loc.end = node.loc.end;
+                    }
+                    return result;
                 }
-                break;
-        }
-        external_node_assert_namespaceObject(!info);
-        return null;
-    });
-    return;
+                if (node.init.type === "Literal") {
+                    delete node.init;
+                }
+            }
+            break;
+        case "SequenceExpression":
+            if (node.expressions.some((e) => e.type === "Literal")) {
+                node.expressions = node.expressions.filter((e) => e.type !== "Literal");
+            }
+            break;
+    }
+    return null;
 }
 
 ;// CONCATENATED MODULE: ./src/pre.ts
@@ -14181,6 +14149,199 @@ function applyReplacements(func, nodeMap, declMap) {
     });
 }
 
+;// CONCATENATED MODULE: ./src/type-flow/minimize-modules.ts
+
+
+
+function minimizeModules(ast, state) {
+    const { pre, post } = state;
+    try {
+        const replacementMap = new Map();
+        const conflictingNames = new Set();
+        state.pre = (node) => {
+            if (state.inType)
+                return null;
+            switch (node.type) {
+                case "ModuleDeclaration":
+                case "ClassDeclaration":
+                case "FunctionDeclaration":
+                    return ["body"];
+                case "Using":
+                    conflictingNames.add(node.as?.name ??
+                        (node.id.type === "Identifier"
+                            ? node.id.name
+                            : node.id.property.name));
+                    return [];
+                case "ImportModule":
+                    conflictingNames.add(node.id.type === "Identifier" ? node.id.name : node.id.property.name);
+                    return [];
+                case "Identifier":
+                case "MemberExpression": {
+                    let current = node;
+                    const parts = [];
+                    while (current.type === "MemberExpression" && !current.computed) {
+                        parts.unshift(current);
+                        current = current.object;
+                    }
+                    if (current.type !== "Identifier" &&
+                        current.type !== "ThisExpression") {
+                        break;
+                    }
+                    let toReplace = null;
+                    let module = null;
+                    let addImport = false;
+                    let [, results] = state.lookupValue(current, null);
+                    let i = 0;
+                    for (; results &&
+                        results.length === 1 &&
+                        results[0].results.length === 1 &&
+                        (results[0].results[0].type === "Program" ||
+                            results[0].results[0].type === "ClassDeclaration" ||
+                            results[0].results[0].type === "ModuleDeclaration"); i++) {
+                        if (current.type === "Identifier" &&
+                            results[0].results[0].type === "ModuleDeclaration" &&
+                            isImportCandidate(results[0].results[0])) {
+                            const directResults = i
+                                ? state.lookupValue(current, null)
+                                : results;
+                            if (directResults &&
+                                directResults.length === 1 &&
+                                directResults[0].results.length === 1 &&
+                                directResults[0].results[0] === results[0].results[0]) {
+                                // we would find the same thing if we just looked up
+                                // current directly.
+                                toReplace = (i ? parts[i - 1] : current);
+                                module = results[0].results[0];
+                                if ((0,external_api_cjs_namespaceObject.findUsingForNode)(state, state.stack, state.stack.length - 1, current) === directResults[0].results[0]) {
+                                    // we already find it via an import, so we don't need
+                                    // a new import.
+                                    addImport = false;
+                                }
+                                else {
+                                    addImport = true;
+                                }
+                            }
+                            else {
+                                toReplace = parts[i - 1];
+                                module = results[0].results[0];
+                                addImport = true;
+                            }
+                        }
+                        if (i === parts.length)
+                            break;
+                        current = parts[i].property;
+                        results = (0,external_api_cjs_namespaceObject.lookupNext)(state, results, "decls", current);
+                    }
+                    if (toReplace) {
+                        external_node_assert_namespaceObject(module);
+                        replacementMap.set(toReplace, { module, addImport });
+                    }
+                    else if (parts.length === 0) {
+                        external_node_assert_namespaceObject(node.type === "Identifier");
+                        conflictingNames.add(node.name);
+                    }
+                    else if (parts[0].object.type === "Identifier") {
+                        conflictingNames.add(parts[0].object.name);
+                    }
+                    return [];
+                }
+            }
+            return null;
+        };
+        (0,external_api_cjs_namespaceObject.collectNamespaces)(ast, state);
+        const mappedNames = new Map();
+        replacementMap.forEach((value, key) => {
+            let name;
+            if (value.addImport) {
+                name = mappedNames.get(value.module);
+                if (!name) {
+                    name = value.module.name;
+                    for (let i = 0; conflictingNames.has(name); i++) {
+                        name = `${value.module.name}_${i}`;
+                    }
+                    mappedNames.set(value.module, name);
+                    conflictingNames.add(name);
+                }
+            }
+            else {
+                name = key.type === "Identifier" ? key.name : key.property.name;
+            }
+            const original = (0,external_api_cjs_namespaceObject.formatAstLongLines)(key);
+            const repl = key;
+            repl.type = "Identifier";
+            repl.name = name;
+            if (name !== original) {
+                repl.original = original;
+            }
+            delete repl.property;
+            delete repl.object;
+            delete repl.computed;
+        });
+        mappedNames.forEach((name, module) => {
+            const id = makeScopedName(module.fullName.slice(2));
+            const as = name !== (id.type === "Identifier" ? id : id.property).name &&
+                makeIdentifier(name);
+            const using = withLocDeep(as ? { type: "Using", id, as } : { type: "Using", id }, ast, false, true);
+            ast.body.unshift(using);
+        });
+    }
+    finally {
+        state.pre = pre;
+        state.post = post;
+    }
+}
+/**
+ * There's a bug in garmin's runtime (although the compiler could
+ * work around it). See
+ *
+ *   https://forums.garmin.com/developer/connect-iq/i/bug-reports/referencing-an-imported-module-doesn-t-run-its-parent-s-init
+ *
+ * What this means is that if a module's parent isn't `globals`
+ * and it needs to be initialized, then we can't risk
+ * importing it, because the parent module might not get initialized
+ * in time.
+ */
+function isImportCandidate(module) {
+    if (module.fullName.startsWith("$.Toybox."))
+        return true;
+    if (module.fullName.startsWith("$.Rez."))
+        return false;
+    external_node_assert_namespaceObject(module.stack);
+    if (module.stack.length === 1)
+        return true;
+    return module.stack.every((elem) => {
+        if (!elem.sn.decls)
+            return false;
+        if (elem.sn.type === "Program")
+            return true;
+        if (elem.sn.type !== "ModuleDeclaration")
+            return false;
+        return Object.values(elem.sn.decls).every((decls) => decls.every((decl) => {
+            if (decl.type !== "VariableDeclarator")
+                return true;
+            if (!decl.node.init)
+                return true;
+            if (decl.node.init.type === "UnaryExpression" &&
+                decl.node.init.operator === ":") {
+                return true;
+            }
+            if (decl.node.init.type !== "Literal")
+                return false;
+            switch (typeof decl.node.init.value) {
+                case "boolean":
+                    return true;
+                case "bigint":
+                    return false;
+                case "number":
+                    return !/[dl]$/i.test(decl.node.init.raw);
+                case "object":
+                    return decl.node.init.value === null;
+            }
+            return false;
+        }));
+    });
+}
+
 ;// CONCATENATED MODULE: ./src/type-flow/optimize.ts
 
 
@@ -15031,6 +15192,7 @@ function cleanupUnusedVars(state, node) {
 
 
 
+
 /*
  * Map each name to the list of StateNodes that declare that
  * name (excluding Functions, which are already in allFunctions)
@@ -15618,32 +15780,30 @@ async function optimizeMonkeyC(fnMap, resourcesMap, manifestXML, config) {
                 break;
             case "Identifier": {
                 const map = topLocals().map;
-                if (map) {
-                    if ((0,external_api_cjs_namespaceObject.hasProperty)(map, node.name)) {
-                        const name = map[node.name];
-                        if (typeof name === "string") {
-                            renameIdentifier(node, name);
+                if ((0,external_api_cjs_namespaceObject.hasProperty)(map, node.name)) {
+                    const name = map[node.name];
+                    if (typeof name === "string") {
+                        renameIdentifier(node, name);
+                    }
+                    const [, results] = state.lookupValue(node);
+                    if (results) {
+                        if (results.length !== 1 || results[0].results.length !== 1) {
+                            throw new Error(`Local ${node.name} had multiple lookup results`);
                         }
-                        const [, results] = state.lookupValue(node);
-                        if (results) {
-                            if (results.length !== 1 || results[0].results.length !== 1) {
-                                throw new Error(`Local ${node.name} had multiple lookup results`);
-                            }
-                            const parent = results[0].parent;
-                            if (!parent) {
-                                throw new Error(`Local ${node.name} had no parent`);
-                            }
-                            const decl = results[0].results[0];
-                            if (parent.type === "FunctionDeclaration" ||
-                                decl.type !== "VariableDeclarator") {
-                                // we can't optimize away function or catch parameters
-                                return [];
-                            }
-                            if (parent.type !== "BlockStatement") {
-                                throw new Error(`Local ${node.name} was not declared at block scope(??)`);
-                            }
-                            decl.used = true;
+                        const parent = results[0].parent;
+                        if (!parent) {
+                            throw new Error(`Local ${node.name} had no parent`);
+                        }
+                        const decl = results[0].results[0];
+                        if (parent.type === "FunctionDeclaration" ||
+                            decl.type !== "VariableDeclarator") {
+                            // we can't optimize away function or catch parameters
+                            return [];
+                        }
+                        if (parent.type !== "BlockStatement") {
+                            throw new Error(`Local ${node.name} was not declared at block scope(??)`);
                         }
+                        decl.used = true;
                     }
                 }
                 return [];
@@ -15931,6 +16091,11 @@ async function optimizeMonkeyC(fnMap, resourcesMap, manifestXML, config) {
     state.nextExposed = {};
     delete state.pre;
     delete state.post;
+    if (state.config?.minimizeModules ?? true) {
+        Object.values(fnMap).forEach((f) => {
+            minimizeModules(f.ast, state);
+        });
+    }
     Object.values(state.allFunctions).forEach((fns) => fns.forEach((fn) => sizeBasedPRE(state, fn)));
     const cleanup = (node) => {
         switch (node.type) {
@@ -16576,6 +16741,7 @@ const configOptionsToCheck = [
     "propagateTypes",
     "singleUseCopyProp",
     "minimizeLocals",
+    "minimizeModules",
     "extensionVersion",
     "typeCheckLevel",
     "covarianceWarnings",
@@ -16637,7 +16803,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 && 1676156189652 < opt_time) {
+        if (source_time < opt_time && 1676335488374 < opt_time) {
             return { hasTests, diagnostics: prevDiagnostics };
         }
     }
@@ -16664,7 +16830,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.12",
+                optimizerVersion: "1.1.13",
                 ...Object.fromEntries(configOptionsToCheck.map((option) => [option, config[option]])),
             }))
                 .then(() => ({ hasTests, diagnostics }));