🚀 go-pugleaf

RW_GRIFFITHS@VAX.ACS.OPEN.AC.UK writes:

> Finally there is another rare case hen compilers can produce different
> initialization orders for the same program. This occurs when a module is
> imported into a definition module and then not used in the corresponding
> implementationmodule. In such cases some compilers do not initialize the
> imported module.

Given the following example, should we consider such programs Modula-2
compilers?

DEFINITION MODULE A;
EXPORT QUALIFIED p;
PROCEDURE p () : CARDINAL;
END A.

IMPLEMENTATION MODULE A;
VAR v : CARDINAL;
PROCEDURE p () : CARDINAL;
BEGIN
   RETURN (v)
   END p;
BEGIN
   v := 42
   END A.

DEFINITION MODULE B;
IMPORT A;
EXPORT p;
CONST p = A.p;
END B.

IMPLEMENTATION MODULE B;
END B.

MODULE Test;
IMPORT B;
BEGIN
   REPEAT
      UNTIL B.p() = 42
   END Test.

-- 
..!{uunet,qiclab,intelhf,bucket}!m2xenix!news