diff options
author | Andy Wingo <wingo@pobox.com> | 2011-10-06 23:28:06 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2011-10-07 11:06:19 +0200 |
commit | 012492a7f1968bb996a98864da32591bffbf08a3 (patch) | |
tree | aecc4a54c26b7ba2c5ca60b761c204025b631ba2 | |
parent | 6d2d68972144e795a53067f1c08c13be01559784 (diff) | |
download | guile-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.scm | 6 |
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))))) |