This is an automated email from the git hooks/post-receive script. wingo pushed a commit to branch master in repository guile.
The following commit(s) were added to refs/heads/master by this push: new 4c10ea0 Fix bug where private bindings would never be sealed 4c10ea0 is described below commit 4c10ea0e5780d9eb3ad26bfe218a0c72030f15b2 Author: Andy Wingo <wi...@pobox.com> AuthorDate: Sun May 31 22:05:41 2020 +0200 Fix bug where private bindings would never be sealed * module/language/tree-il/optimize.scm (make-optimizer): Fix plumbing of -Oseal-private-bindings / -O3. --- module/language/tree-il/optimize.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/module/language/tree-il/optimize.scm b/module/language/tree-il/optimize.scm index 5efc7ee..c080bbb 100644 --- a/module/language/tree-il/optimize.scm +++ b/module/language/tree-il/optimize.scm @@ -51,7 +51,7 @@ (verify exp) (run-pass! (resolve exp env)) (run-pass! (expand exp)) - (run-pass! (letrectify exp)) + (run-pass! (letrectify exp #:seal-private-bindings? seal?)) (run-pass! (fix-letrec exp)) (run-pass! (peval exp env)) (run-pass! (eta-expand exp))