inline only fully applied

anoma · Dec 3, 2024 · f41359d · f41359d
1 parent 79b7080
commit f41359d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Core/Transformation/Optimize/Inlining.hs b/src/Juvix/Compiler/Core/Transformation/Optimize/Inlining.hs
@@ -61,6 +61,7 @@ convertNode inlineDepth nonRecSyms symOcc md = dmapL go
           Just InlineNever -> node
           _
             | HashSet.member _identSymbol nonRecSyms
+                && argsNum == 0
                 && ( HashMap.lookup _identSymbol symOcc == Just 1
                        || isImmediate md def
                    ) ->

diff --git a/tests/Compilation/positive/test086.juvix b/tests/Compilation/positive/test086.juvix
@@ -1,3 +1,4 @@
+-- Patterns in definitions
 module test086;
 
 import Stdlib.Prelude open;