From 012492a7f1968bb996a98864da32591bffbf08a3 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Thu, 6 Oct 2011 23:28:06 +0200 Subject: [PATCH] optimizer verifies its output * module/language/tree-il/optimize.scm: Verify the result of partial evaluation. --- module/language/tree-il/optimize.scm | 6 ++++-- 1 file 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)))))