add comment

anoma · Sep 13, 2024 · f2dfe48 · f2dfe48
1 parent d8accb3
commit f2dfe48
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Core/Transformation/Optimize/LetFolding.hs b/src/Juvix/Compiler/Core/Transformation/Optimize/LetFolding.hs
@@ -41,6 +41,10 @@ letFolding' isFoldable tab =
     ( removeInfo kFreeVarsInfo
         . convertNode isFoldable tab
         . computeFreeVarsInfo' 2
+        -- 2 is the lambda multiplier factor which guarantees that every free
+        -- variable under a lambda is counted at least twice, preventing let
+        -- folding for let-bound variables (with non-immediate values) that
+        -- occur under lambdas
     )
     tab