[bitc-dev] DISCUSS: Re-work of module system and multiple aliases

[Swaroop Sridhar]

Jonathan S. Shapiro wrote:
> It would be fairly straightforward to restrict imports such that an
> imported name can only be bound to a single local alias name. This might
> actually be useful, because it would let us say:
> 
>   (import Foo (collidingName as localSubstitute))
>   (import Foo) ;; imports all unimported symbols, which would exclude
>                   collidingName, because that is already imported and
>                   bound
> 
> I'm actually inclined to favor this. What do other people think?

I think it is fine too.

> Frankly, it may be that hygienic import is of so little value at this
> point that we should drop it altogether.

I am also okay with this. If we restrict all imports to unnamed imports
it subsumes the above case.

Swaroop.