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 Jun 7 09:32:14 2013  
 
Should Start On: Thu Jun 6 22:00:00 2013Should be Finished on: Thu Jun 6 22:00:00 2013
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 Jun 7 09:32:14 2013, 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>
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 Jul 20 19:59:30 2014cadrianStatusNone=>Done
      Percent Complete0%=>100%
      Assigned toNone=>cadrian
      Open/ClosedOpen=>Closed
      Fixed ReleaseNone=>bell

    Back to the top


    Powered by Savane 3.1-cleanup