test for control at run termination

2011-03-08 04:33:01 -05:00 · 2011-03-08 04:33:01 -05:00 · 20b9b8ef4d
commit 20b9b8ef4d
parent 703edc46a0
1 changed files with 3 additions and 0 deletions
--- a/test-compiler.rkt
+++ b/test-compiler.rkt
@ -27,6 +27,9 @@
             (unless (= (machine-stack-size a-machine) 1)
               (raise-syntax-error #f (format "Stack is not back to the prefix as expected!")
                                   #'stx))
+             (unless (null? (machine-control a-machine))
+               (raise-syntax-error #f (format "Control is not empty as expected!")
+                                   #'stx))
             (printf "ok. ~s steps.\n\n" num-steps)))))]))

 ;; test, and expect an error