Regression test for sandboxed evaluation

qi-test/tests/compiler/rules/full-cycle.rkt

@@ -11,6 +11,7 @@
          rackunit/text-ui
          syntax/macro-testing
          qi/flow/core/deforest
+         qi/flow/core/compiler
          "private/deforest-util.rkt"
          (submod qi/flow/extended/expander invoke))
 
@@ -21,12 +22,17 @@
 
   ;; A macro that accepts surface syntax, expands it, and then applies the
   ;; indicated optimization passes.
-  (define-syntax-parser test-compile~>
+  (define-syntax-parser test-passes~>
     [(_ stx)
      #'(expand-flow stx)]
     [(_ stx pass ... passN)
      #'(passN
-        (test-compile~> stx pass ...))]))
+        (test-passes~> stx pass ...))])
+
+  ;; A macro that expands and compiles surface syntax
+  (define-syntax-parse-rule (qi-compile stx)
+    (compile-flow
+     (expand-flow stx))))
 
 
 (define tests
@@ -39,9 +45,8 @@
     (test-true "normalize → deforest"
                (deforested?
                  (phase1-eval
-                  (test-compile~> #'(~>> (filter odd?) values (map sqr))
-                                  normalize-pass
-                                  deforest-pass)))))))
+                  (qi-compile
+                   #'(~>> (filter odd?) values (map sqr)))))))))
 
 (module+ main
   (void