bugKawa - Bugs: bug #6268, warning unless 1024 is cast to...

 
 

bug #6268: warning unless 1024 is cast to <int>

Submitter:  Per Bothner <bothner>
Submitted:  Fri 31 Oct 2003 06:00:14 PM UTC
   
 
Category:  Scheme language Severity:  2 - Minor
Priority:  3 - Low Item Group:  Bad diagnostic
Status:  None Privacy:  Public
Assigned to:  bothner Open/Closed:  Open
* Mandatory Fields

Post a Comment

Add a New Comment Rich Markup
   

Discussion

Thu 24 Mar 2005 05:03:39 AM UTC, comment #2: 

I just noticed this annoyance myself.  It would be nice if Kawa would recognize when numerical literals (Kawa has constant folding too, yes?) do coerce.  Since I'm assuming tighter code would be generated (as I'm guessing the warning means intValue or some other method gets called on the numerical object, or even worse that the method is looked up at dispatch) I vote to upgrade this to a "RFE".

Jim White <jimwhite>
Sat 01 Nov 2003 02:11:38 AM UTC, comment #1: 

This is a test of the bug-kawa list.

Per Bothner <bothner>
Group administrator
Fri 31 Oct 2003 06:00:14 PM UTC, 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.

Per Bothner <bothner>
Group administrator

 

Attached Files

Attached Files
file #780:  sec.scm added by bothner (229B - application/octet-stream)

(Note: upload size limit is set to 4.0MiB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

 

Dependencies

This item does not depend on any other items.

No items depend on this one.

 

Mail Notification Carbon-Copy List

 

Votes

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

Only logged-in users can vote.

 

Please enter the title of George Orwell's famous dystopian book (it's a date):

History

Follow 3 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2003-11-01 bothner CategoryNone None
    Severity2,5 None
    Item GroupNone None

Back to the top

Powered by Savane 3.16-2753.
Corresponding source code