Listing:

    1  MODULE MBadArity;
    2  MODULE M EXPORT Add;
    3  PROCEDURE Add(x : INTEGER);
    4  BEGIN
    5  END Add;
    6  END M;
    7  VAR ExitCode : INTEGER;
    8  BEGIN
    9    M.Add(1, 2);
*****              ^ invalid procedure call
   10    ExitCode := 0
   11  END MBadArity.

    1 error