[Bug-kawa] [bug #42722] Explicit type declaration, later instance? check issues

[anonymous]

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

                 Summary: Explicit type declaration, later instance? check
issues
                 Project: Kawa
            Submitted by: None
            Submitted on: Thu 10 Jul 2014 04:30:44 AM UTC
                Category: Type declaration and inference
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

I am using Kawa Scheme 1.14 downloaded as JAR from the ftp server. 
Try the following:

(define v1 ::int 0)
(instance? v1 String) 

This returns #t, whereas I expected #f. Maybe I am understanding the language
semantics wrong?

(define v2 (+ v1 2))
(instance? v2 String) 

This returns #f as expected. 





    _______________________________________________________

Reply to this item at:

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

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