Bug with operator defined inside record
MODULE Test76;
TYPE
T = RECORD
x := 0: SIZE;
OPERATOR "DEC"();
BEGIN
DEC(x);
END "DEC"
END;
OPERATOR "INC"(VAR t: T);
BEGIN
INC(t.x);
END "INC"
PROCEDURE Do*;
VAR t: T;
BEGIN
INC(t);
TRACE(t.x);
DEC(t); (*! error is no integer type*)
END Do;
END Test76.Do~
Edited by Sergey Durmanov