taskLiberty Eiffel - Tasks: task #12670, alleviate VCFG


You are not allowed to post comments on this tracker with your current authentification 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: NonePercent Complete: 0%
Assigned to: NoneOpen/Closed: Open
Fixed Release: NonePlanned 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 Administrator


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):



    No Changes Have Been Made to This Item

    Back to the top

    Powered by Savane 3.1-cleanup