mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-10 14:00:21 +02:00
Code Activity

optimizer verifies its output

Browse source 
* module/language/tree-il/optimize.scm: Verify the result of partial
  evaluation.
This commit is contained in:
Andy Wingo 2011-10-06 23:28:06 +02:00
parent 6d2d689721
commit 012492a7f1
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
module/language/tree-il/optimize.scm
View file

@ -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)))))