Thanks to all who answered so quickly.
In between I think I found the answer in the Standard:
<quote>
5.2.3 Accessibility satements
[...]
An access-stmt without an access-id list specifies the
default accessibility that applies to
ALL POTENTIALLY ACCESSIBLE ENTITIES
in the specification-part of the module.
</quote> (capitalization by me [JvO])
I suppose this means that entities from M1 are private in
M2 because they are accessible in M2.
Jan van Oosterwijk
Delft U of T
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|