Aliases

[Alex Buckley]

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.

Alex