fix closure traversal bug

anoma · Mar 30, 2023 · d7f622d · d7f622d
1 parent 9e9a884
commit d7f622d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Core/Extra/Base.hs b/src/Juvix/Compiler/Core/Extra/Base.hs
@@ -714,10 +714,12 @@ destruct = \case
     NodeDetails
       { _nodeInfo = i,
         _nodeSubinfos = [],
-        _nodeChildren = oneBinder bi b : map noBinders env,
+        _nodeChildren = manyBinders binders b : map noBinders env,
         _nodeReassemble = someChildren $ \i' (b' :| env') ->
           Closure env' (Lambda i' bi b')
       }
+    where
+      binders = replicate (length env) (mkBinder' mkDynamic') ++ [bi]
 
 reassembleDetails :: NodeDetails -> [Node] -> Node
 reassembleDetails d ns = (d ^. nodeReassemble) (d ^. nodeInfo) (d ^. nodeSubinfos) ns