[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 02/11: Fix fixpoint
From: |
Andy Wingo |
Subject: |
[Guile-commits] 02/11: Fix fixpoint |
Date: |
Wed, 20 May 2015 17:32:54 +0000 |
wingo pushed a commit to branch master
in repository guile.
commit e0e47cb527a09e8d3d28beead1cd50f2ee015b03
Author: Andy Wingo <address@hidden>
Date: Mon May 18 21:21:53 2015 +0200
Fix fixpoint
* module/language/cps2/utils.scm (fixpoint): Fix embarrassing bug
where it wouldn't actually fixpoint! Didn't show up in practice
because CPS2 hasn't run after contification yet.
---
module/language/cps2/utils.scm | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/module/language/cps2/utils.scm b/module/language/cps2/utils.scm
index d07356b..d5955c3 100644
--- a/module/language/cps2/utils.scm
+++ b/module/language/cps2/utils.scm
@@ -124,7 +124,7 @@
(define (fixpoint f x)
(let ((x* (f x)))
- (if (eq? x x*) x* (f x*))))
+ (if (eq? x x*) x* (fixpoint f x*))))
(define (compute-function-body conts kfun)
(persistent-intset
- [Guile-commits] branch master updated (ef5f2fc -> 48b2f19), Andy Wingo, 2015/05/20
- [Guile-commits] 04/11: Add two-argument fixpoint arity, Andy Wingo, 2015/05/20
- [Guile-commits] 02/11: Fix fixpoint,
Andy Wingo <=
- [Guile-commits] 01/11: Fix sub/- primcall bug, Andy Wingo, 2015/05/20
- [Guile-commits] 03/11: Fix bug compiling fixpoint combinator, Andy Wingo, 2015/05/20
- [Guile-commits] 07/11: Add arity to worklist-fold, Andy Wingo, 2015/05/20
- [Guile-commits] 06/11: Variadic intset-fold, intmap-fold, Andy Wingo, 2015/05/20
- [Guile-commits] 08/11: intmaps and intsets print with abbreviated key ranges, Andy Wingo, 2015/05/20
- [Guile-commits] 09/11: Fix bug in CPS2 simplify's "transform-conts", Andy Wingo, 2015/05/20
- [Guile-commits] 05/11: Intmaps do not treat #f specially as a value, Andy Wingo, 2015/05/20
- [Guile-commits] 10/11: Port effects analysis to CPS2, Andy Wingo, 2015/05/20
- [Guile-commits] 11/11: Port dead code elimination (DCE) pass to CPS2, Andy Wingo, 2015/05/20