[Bug-kawa] [bug #32678] set! and endless loop

[Helmut Eller]

Follow-up Comment #2, bug #32678 (project kawa):

Just want to note that the warning may be a false
positive if non-local exits are used to terminate the loop.
Not uncommon for server-like applications.

(define (foo x)
  (let ((fail 0)
        (result #!null))
    (if (instance? x pair)
        (set! result (do () (#f) (bar x)))
        (set! fail -1))
    (if (= fail 0) 
        result 
        #f)))

(define (bar x) 
  (if (equal? x '(done))
      (primitive-throw (java.lang.Throwable "done."))))



    _______________________________________________________

Reply to this item at:

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

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