peval & let-values

[Ludovic Courtès]

Hi,

Andy Wingo <address@hidden> skribis:

> Firstly, I added a let-values inliner to peval.  It was fairly pleasant
> to write.  It can do things like:
>
> (let ((x 0))
>   (call-with-values
>       (lambda () (if (zero? x) (values 1 2) (values 3 4)))
>     (lambda (a b)
>       (+ a b))))
> => 3

This example doesn’t seem to work as is, presumably because
‘call-with-values’ doesn’t get “primitivized”:

diff --git a/test-suite/tests/tree-il.test b/test-suite/tests/tree-il.test
index 63b74ad..0074aa0 100644
--- a/test-suite/tests/tree-il.test
+++ b/test-suite/tests/tree-il.test
@@ -621,6 +621,15 @@
     (const 3))
 
   (pass-if-peval
+    ;; First order, let-values.
+    (let ((x 0))
+      (call-with-values
+          (lambda () (if (zero? x) (values 1 2) (values 3 4)))
+        (lambda (a b)
+          (+ a b))))
+    (const 3))
+
+  (pass-if-peval
     ;; First order, coalesced.
     (cons 0 (cons 1 (cons 2 (list 3 4 5))))
     (const (0 1 2 3 4 5)))

Ludo’.