|
From: | anonymous |
Subject: | [Bug-kawa] [bug #42722] Explicit type declaration, later instance? check issues |
Date: | Thu, 10 Jul 2014 04:30:45 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:30.0) Gecko/20100101 Firefox/30.0 |
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/
[Prev in Thread] | Current Thread | [Next in Thread] |