PR# 12870 Adding ability to override a library

Problem Report Summary
Submitter: manus_eiffel
Category: Compiler
Priority: Medium
Date: 2007/05/25
Class: Feature Request
Severity: Serious
Number: 12870
Release: 6.x
Confidential: No
Status: Open
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv: Gecko/20070309 Firefox/
Synopsis: Adding ability to override a library

It would be nice to have the ability to override a library the same way you override a class. What it means, is that instead of generating a warning when you have two or more libraries with the same UUID in your system, when one of them is an override we take the override one for compiling the system.
To Reproduce

Problem Report Interactions