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

Submitted by:  Cyril Adrian <cadrian>
Submitted on:  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 Percent Complete:  100%
Assigned to:  Cyril Adrian <cadrian> Open/Closed:  Closed
Fixed Release:  bell Planned Release:  bell
Effort:  0.00

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


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>
Project AdministratorIn charge of this item.


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)

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.


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



    Follow 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    Sun 20 Jul 2014 07:59:30 PM UTC cadrian StatusNone => Done
        Percent Complete0% => 100%
        Assigned toNone => cadrian
        Open/ClosedOpen => Closed
        Fixed ReleaseNone => bell

    Back to the top

    Powered by Savane 3.3