A procedure that returns a result cannot be used as an operator

[Oleg-N-Cher]

GameHunter reports:

MODULE Ex;

TYPE
  Rec0 = EXTENSIBLE RECORD
  END;

  Rec1 = RECORD (Rec0)
    i:INTEGER;
  END;

PROCEDURE as_Rec1 (VAR r:Rec0): POINTER TO Rec1;
  BEGIN
    RETURN NIL
  END as_Rec1;

PROCEDURE Process (VAR r:Rec0);
  BEGIN
    as_Rec1(r)^.i:=0;
  END Process;

END Ex.

(left side Online Oberon-07, right side Ofront 1.4 for BlackBox):

We found out that such use of a procedure as an operator can be valid only in Component Pascal.

[Oleg-N-Cher]

Vlad Folts encountered this problem while developing his Oberon compiler and fixed this point in his own Eberon dialect.