[bug #34300] Misplaced tail call optimization [2.0.2+]

[Ludovic Courtès]

URL:
  <http://savannah.gnu.org/bugs/?34300>

                 Summary: Misplaced tail call optimization [2.0.2+]
                 Project: Guile
            Submitted by: civodul
            Submitted on: Thu 15 Sep 2011 09:17:38 PM GMT
                Category: None
                Severity: 4 - Important
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Consider this example:

#v+
(define bar
  (lambda ()
    (let ((fail (lambda () 'fail)))
      (let loop ((a (iota 3)))
        (if (pair? a)
            (loop (cdr a))
            (fail)))
      (pk 'done))))
#v-

This function should return 'done but it instead returns 'fail, because both
the call to `loop' and the call to `fail' are compiled as if they were tail
calls.

To reproduce the test, turn partial evaluation off---otherwise the call to
`fail' is inlined and the problem doesn't show up.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?34300>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/