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 UTCShould be Finished on: Thu 06 Jun 2013 10:00:00 PM UTC
Category: SmartEiffelPriority: 5 - Normal
Status: DonePercent Complete: 100%
Assigned to: Cyril Adrian <cadrian>Open/Closed: Closed
Fixed Release: bellPlanned 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
  • -unavailable- added by cadrian (Submitted the item)

    Do you think this task is very important?
    If so, you can click here to 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 UTCcadrianStatusNone=>Done
      Percent Complete0%=>100%
      Assigned toNone=>cadrian
      Fixed ReleaseNone=>bell

    Back to the top

    Powered by Savane 3.1-cleanup1