Liberty 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 | Assigned to: | None |
Percent Complete: | 0% | Open/Closed: | Open |
Fixed Release: | None | Planned Release: | None |
Effort: | 0.00 |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
Carbon-Copy List
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
Powered by Savane 3.13-02a9.
Corresponding source code
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.