Oberon-07 question

[nojb]

Hello,

In Oberon-07 report, it is not clear to me whether

MODULE M;
IMPORT A := B;
BEGIN
B.F
END M.

is allowed?

(I don't have a compiler at hand to try this)

Thanks!
N

[Chris Burrows]

Post by nojb
Hello,
In Oberon-07 report, it is not clear to me whether
MODULE M;
IMPORT A := B;
BEGIN
B.F
END M.
is allowed?

No. The statement B.F will result in a compile-time error. You must access
procedure F in module B by its aliased identifier A.F. If you want to access
an imported procedure using the original module name as well as the aliased
name include the module name on the import list twice:

MODULE M;
IMPORT A := B, B; (* or IMPORT B, A := B; *)
BEGIN
B.F;
A.F
END M.

Note that the following is also allowed:

MODULE M;
IMPORT A := B;
VAR
B: RECORD F: PROCEDURE END;
BEGIN
B.F
END M.

i.e. the aliased IMPORT of B does not result in a name clash when B is
defined in the client module.

Regards,
Chris Burrows

CFB Software
ARM Oberon-07 Development System
http://www.astrobe.com