Design #477
Eliminate keyword Alias?
Description
I think the concept of Alias
is no longer needed (or only very rarely).
Can we eliminate it?
Related issues
History
#1 Updated by John Abbott over 10 years ago
I have removed several uses of Alias
but making use of $.
in packages.
There are some cases where it cannot be removed trivially. Investigate!
#2 Updated by Anna Maria Bigatti over 10 years ago
- Target version set to CoCoA-5.1.0 Easter14
#3 Updated by John Abbott about 10 years ago
- Target version changed from CoCoA-5.1.0 Easter14 to CoCoA-5.?.?