taskLiberty Eiffel - Tasks: task #12664, void-safety

 
 

You are not allowed to post comments on this tracker with your current authentication level.

task #12664: void-safety

Submitter:  Cyril Adrian <cadrian>
Submitted:  Fri 07 Jun 2013 08:40:06 AM UTC
 
Should Start On:  Thu 06 Jun 2013 10:00:00 PM UTC Should be Finished on:  Thu 06 Jun 2013 10:00:00 PM UTC
Category:  SmartEiffel Priority:  5 - Normal
Status:  None Percent Complete:  0%
Assigned to:  None Open/Closed:  Open
Fixed Release:  None Planned Release:  None
Effort:  0.00

Fri 07 Jun 2013 08:40:06 AM UTC, original submission:  

https://github.com/LibertyEiffel/Liberty/issues/83

It is possible to prevent "feature calls on void target" already at compile time. Liberty should go into this direction by either implement ECMAs Attachment_marks or warn on all calls for which it cannot prove the target to be non-void.

Cyril Adrian <cadrian>
Project Administrator

 

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

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by cadrian (Submitted the item)
  •  

    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.

     

     

     

    No changes have been made to this item

    Back to the top


    Powered by Savane 3.9