parameter doesn't match (SYSTEM.ADDRESS)

[aixp]

MODULE A;

    IMPORT SYSTEM;

    TYPE
        T* = PROCEDURE (adr: SYSTEM.ADDRESS);

    PROCEDURE P* (t: T);
    BEGIN
    END P;

END A.

MODULE B;

    IMPORT SYSTEM, A;

    PROCEDURE P0 (adr: SYSTEM.ADDRESS);
    BEGIN
    END P0;

    PROCEDURE P;
    BEGIN
        A.P(P0)
    END P;

END B.

$ voc A.Mod B.Mod
A.Mod  Compiling A.  New symbol file.  339 chars.
B.Mod  Compiling B.

  11:       A.P(P0)
             ^
    pos   113  err 115  parameter doesn't match

Module compilation failed.

$ voc | head -2 | tail -1
Oberon-2 compiler v2.1.0 [2019/11/15] for gcc LP64 on ubuntu.
$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 19.04
Release:    19.04
Codename:   disco

[dcwbrown]

Yes. Reproduces for me. I agree - I think it should work.

Here's a workaround:

MODULE A;
IMPORT SYSTEM;

TYPE
  ADDRESS* = SYSTEM.ADDRESS;
  T* = PROCEDURE (adr: ADDRESS);

  PROCEDURE P*(t: T);
  BEGIN
  END P;

END A.

MODULE B;
IMPORT SYSTEM, A;

  PROCEDURE P0(adr: A.ADDRESS);
  BEGIN
  END P0;

  PROCEDURE P;
  BEGIN
    A.P(P0)
  END P;

END B.

voc -s a.mod b.mod -m
a.mod  Compiling A.  340 chars.
b.mod  Compiling B.  Main program.  449 chars.

Will this work for you?

It may be the symbol fingerprinting code, that took me a long time to understand last time I needed to work on it, and I've forgotten everything I knew :-(.

Or it may be deeper - I think PROCEDURE type equivalence has some special case code.

-- Dave.

[aixp]

Yes, it works for me.