[Bug-kawa] [bug #6268] warning unless 1024 is cast to <int>

[nobody]

=================== BUG #6268: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6268&group_id=145

Changes by: Per Bothner <address@hidden>
Date: Sat 11/01/2003 at 07:02 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
            Category | None                      | Scheme language
            Severity | 4                         | 3
           Bug Group | None                      | Bad diagnostic




=================== BUG #6268: FULL BUG SNAPSHOT ===================


Submitted by: bothner                 Project: Kawa                         
Submitted on: Fri 10/31/2003 at 18:00
Category:  Scheme language            Severity:  3                          
Bug Group:  Bad diagnostic            Resolution:  None                     
Assigned to:  bothner                 Status:  Open                         

Summary:  warning unless 1024 is cast to <int>

Original Submission:  The attached file when compiled with kawa -C prints:

sec.scm:4:4: warning - no definitely applicable method `initialize' in 
java.security.KeyPairGenerator

Replacing to "1024" to "(as <int> 1024)" works.

Follow-up Comments
*******************

-------------------------------------------------------
Date: Sat 11/01/2003 at 02:11       By: bothner
This is a test of the bug-kawa list.


CC list is empty


File Attachments
****************

-------------------------------------------------------
Date: Fri 10/31/2003 at 18:00  Name: sec.scm  Size: 0KB   By: bothner

http://savannah.gnu.org/bugs/download.php?group_id=145&amp;bug_id=6268&amp;bug_file_id=774


For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6268&group_id=145

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