Package name semantics

[Alex Buckley]

On 5/23/2017 1:37 PM, Stephan Herrmann wrote:
> To tersely illustrate my confusion: "the" _could_ imply that the
> existence of several packages named Q.Id forces separate parent
> packages Q, so that each Q indeed contains exactly one member named
> Id.
>
> From your mail I infer that this is not your intention.
>
> I read you as saying: even a single package named Q can contain
> arbitrary many member packages named Id, provided that (at the
> location of each package reference) exactly one of those packages is
> visible (or a compile time error occurs), right?

Yes.

Alex