[Bug-kawa] [bug #35524] Unreachable code is not an error

[Helmut Eller]

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

                 Summary: Unreachable code is not an error
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Mon 13 Feb 2012 02:35:53 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Kawa refuses to compile code like this:

(define (foo)
  (call-with-current-continuation
   (lambda (return)
     (let l ()
       (return #f)
       (l)))))


that's more annoying than helpful especially for macros:

(define-syntax (loop form)
  (syntax-case form ()
    ((id stuff ...)
     (with-syntax ((r (datum->syntax-object (syntax id) 'return)))
       (syntax
        (call-with-current-continuation
         (lambda (r)
           (let l ()
             (begin stuff ...)
             (l)))))))))

(loop (return #t))






    _______________________________________________________

Reply to this item at:

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

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