[Bug-kawa] [bug #47863] InternalError in compilation seemingly related to if (int)

[Nathan S.]

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

                 Summary: InternalError in compilation seemingly related to if
(int)
                 Project: Kawa
            Submitted by: nathans
            Submitted on: Thu 05 May 2016 10:43:57 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

The compiler throws an InternalError when trying to compile this procedure:


(define (main args)
  (let ((x ::int 1))
    (set! x 2)
    (try-finally
      (if x (display "x is true")
        (display "x is not true"))
      (display "finally-clause executed"))))


If I do not enclose the if-statement with a try-finally clause there is no
exception.  If I remove the ::int typehint there is no exception.  If I remove
the set! statement there is no exception.



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Thu 05 May 2016 10:43:57 PM GMT  Name: fail.scm  Size: 187B   By:
nathans
file that will not compile
<http://savannah.gnu.org/bugs/download.php?file_id=37086>

    _______________________________________________________

Reply to this item at:

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

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