taskLiberty 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

Fri 07 Jun 2013 09:32:14 AM UTC, original submission:  

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?

Cyril Adrian <cadrian>
Group 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.

     

    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2014-07-20 cadrian StatusNone Done
        Percent Complete0% 100%
        Assigned toNone cadrian
        Open/ClosedOpen Closed
        Fixed ReleaseNone bell

    Back to the top

    Powered by Savane 3.13-4448.
    Corresponding source code