Turn inlining back to normal, but disable call optimization

unisonweb · Nov 20, 2024 · 58e64e2 · 58e64e2
1 parent 8d3761f
commit 58e64e2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/unison-runtime/src/Unison/Runtime/ANF.hs b/unison-runtime/src/Unison/Runtime/ANF.hs
@@ -667,10 +667,6 @@ inline inls (Rec bs entry) = Rec (fmap go0 <$> bs) (go0 entry)
     go n | n <= 0 = id
     go n = ABTN.visitPure \case
       TApp (FComb r) args
-        | Just (arity, _) <- Map.lookup r inls,
-          arity >= 0 ->
-          -- identity substitution
-          Just $ TApp (FComb r) args
         | Just (arity, expr) <- Map.lookup r inls ->
           go (n-1) <$> tweak expr args arity
       _ -> Nothing

diff --git a/unison-runtime/src/Unison/Runtime/Machine.hs b/unison-runtime/src/Unison/Runtime/Machine.hs
@@ -2025,7 +2025,7 @@ cacheAdd0 ntys0 termSuperGroups sands cc = do
     ntm <- stateTVar (freshTm cc) $ \i -> (i, i + sz)
     rtm <- updateMap (M.fromList $ zip rs [ntm ..]) (refTm cc)
     -- check for missing references
-    let arities = fmap (head . ANF.arities) int <> builtinArities
+    let arities = M.empty -- fmap (head . ANF.arities) int <> builtinArities
         inlinfo = ANF.buildInlineMap int <> builtinInlineInfo
         rns = RN (refLookup "ty" rty) (refLookup "tm" rtm) (flip M.lookup arities)
         combinate :: Word64 -> (Reference, SuperGroup Symbol) -> (Word64, EnumMap Word64 Comb)