procedures with rest arguments can get inlined

* module/language/tree-il/peval.scm (peval): Allow inlining of
  procedures with rest arguments.

* test-suite/tests/peval.test ("partial evaluation"): Add a test.

1 files changed, 8 insertions, 0 deletions

diff --git a/test-suite/tests/peval.test b/test-suite/tests/peval.test
index aa36182cd..fdae7b10a 100644
--- a/test-suite/tests/peval.test
+++ b/test-suite/tests/peval.test
@@ -843,6 +843,14 @@
     (const #t))
 
   (pass-if-peval
+      ;; Applications of procedures with rest arguments can get inlined.
+      ((lambda (x y . z)
+         (list x y z))
+       1 2 3 4)
+    (let (z) (_) ((apply (primitive list) (const 3) (const 4)))
+         (apply (primitive list) (const 1) (const 2) (lexical z _))))
+
+  (pass-if-peval
    ;; Constant folding: cons of #nil does not make list
    (cons 1 #nil)
    (apply (primitive cons) (const 1) (const '#nil)))