Aliases

[Paul Sandoz]

On Sep 11, 2012, at 7:47 PM, Alex Buckley <alex.buckley at Oracle.COM> wrote:

> On 9/11/2012 12:50 AM, Paul Sandoz wrote:
>> Here is another potential rule: Given an alias A at k declared in view
>> V at i of module X at i then any alias A at l, where l != k, must be declared
>> in a view V at j of module X at j, where i != j.
>> 
>> i.e. one cannot install two modules into a library that have
>> different names but declare an alias of the same name.
> 
> But modules from completely different vendors with completely different names should be able to provide the same alias. This will seem reasonable if you think of aliases as they were originally conceived: "virtual" modules, able to be implemented by any number of physical modules.
> 

I think that is OK, that rule needs clarification w.r.t. libraries: two such vender-based modules cannot be present in a library.

Do you think there will be cases that two such modules would need to be present in a library?

Paul.