[ cleanup ] bring back explicit argument

idris-lang · Nov 28, 2023 · ed95fdd · ed95fdd
1 parent b726a32
commit ed95fdd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Compiler/Inline.idr b/src/Compiler/Inline.idr
@@ -139,7 +139,7 @@ mutual
                | Nothing => pure Nothing
            res <- eval rec env' stk'
                      (rewrite sym (appendAssociative args vars free) in
-                              embed exp)
+                              embed {outer = vars ++ free} exp)
            pure (Just res)
   tryApply rec stk env _ = pure Nothing