Liberty Eiffel - Tasks: task #12670, alleviate VCFG
You are not allowed to post comments on this tracker with your current authentication level.
task #12670: alleviate VCFG
Submitter: | Cyril Adrian <cadrian> | ||
Submitted: | Fri 07 Jun 2013 09:32:14 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: | Done | Assigned to: | cadrian |
Percent Complete: | 100% | Open/Closed: | Closed |
Fixed Release: | bell | Planned Release: | bell |
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.
Follow 5 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2014-07-20 | cadrian | Status | None | Done | |
Percent Complete | 0% | 100% | |||
Assigned to | None | cadrian | |||
Open/Closed | Open | Closed | |||
Fixed Release | None | bell |
Powered by Savane 3.13-4448.
Corresponding source code
https://github.com/LibertyEiffel/Liberty/issues/115
Re #114 — replace the fatal error by a warning
See FORMAL_GENERIC_ARG.generic_formal_arguments_check
Rationale: Liberty's class loading allows more than one class to have the same name, therefore there is no class unicity in the Universe.
Why then should the generic arguments be constrained so strongly?