[Bug-kawa] [bug #47993] Spurious warning for throw in case expression

[Nathan S.]

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

                 Summary: Spurious warning for throw in case expression
                 Project: Kawa
            Submitted by: nathans
            Submitted on: Tue 24 May 2016 04:23:08 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

This procedure works correctly but generates a spurious warning message.


(define (case-test idx)
  (case idx
        ((0) (+ idx 2))
        ((1) (* idx 2))
        (else => (throw 'illegal-argument))))


Either compiling or loading the file as a script generates the following
warning:


test.scm:2:3: warning - unreachable procedure call
test.scm:5:11: note - this operand never finishes





    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Tue 24 May 2016 04:23:08 AM GMT  Name: test.scm  Size: 109B   By:
nathans
script demonstrating issue
<http://savannah.gnu.org/bugs/download.php?file_id=37244>

    _______________________________________________________

Reply to this item at:

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

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