[Top][All Lists]

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]