Add a trace message when a suspiciously inlinable handle might be gen…

…erated
unisonweb · Dec 6, 2024 · 50e5ae5 · 50e5ae5
1 parent 986337a
commit 50e5ae5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/unison-runtime/src/Unison/Runtime/ANF.hs b/unison-runtime/src/Unison/Runtime/ANF.hs
@@ -1976,6 +1976,8 @@ anfBlock (Handle' h body) =
             (Indirect (), TApp (FVar vh) [v])
           )
       (ctx, (_, TVar v)) | floatableCtx ctx -> do
+        when (null hctx && null ctx) $
+          traceM "WARN: Potentially inlinable handle"
         pure (hctx <> ctx, (Indirect (), TApp (FVar vh) [v]))
       p@(_, _) ->
         internalBug $ "handle body should be a simple call: " ++ show p