summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2011-10-06 23:28:06 +0200
committerAndy Wingo <wingo@pobox.com>2011-10-07 11:06:19 +0200
commit012492a7f1968bb996a98864da32591bffbf08a3 (patch)
treeaecc4a54c26b7ba2c5ca60b761c204025b631ba2
parent6d2d68972144e795a53067f1c08c13be01559784 (diff)
downloadguile-012492a7f1968bb996a98864da32591bffbf08a3.tar.gz
optimizer verifies its output
* module/language/tree-il/optimize.scm: Verify the result of partial evaluation.
-rw-r--r--module/language/tree-il/optimize.scm6
1 files changed, 4 insertions, 2 deletions
diff --git a/module/language/tree-il/optimize.scm b/module/language/tree-il/optimize.scm
index cb199053d..baac91579 100644
--- a/module/language/tree-il/optimize.scm
+++ b/module/language/tree-il/optimize.scm
@@ -23,6 +23,7 @@
#:use-module (language tree-il primitives)
#:use-module (language tree-il peval)
#:use-module (language tree-il fix-letrec)
+ #:use-module (language tree-il debug)
#:use-module (ice-9 match)
#:export (optimize!))
@@ -33,5 +34,6 @@
(lambda (x e) x))
(_ peval))))
(fix-letrec!
- (peval (expand-primitives! (resolve-primitives! x env))
- env))))
+ (verify-tree-il
+ (peval (expand-primitives! (resolve-primitives! x env))
+ env)))))