M2compiler-V2/tests/r_set.LST

Listing:

    1  MODULE RSet;
    2  TYPE R = [0 .. 9];
    3  VAR ExitCode : INTEGER;
    4      s, t : SET OF R;
    5      b : BOOLEAN;
    6  BEGIN
    7    ExitCode := 0;
    8    s := s;
    9    t := s;
   10    b := 3 IN s;
   11    IF b THEN ExitCode := 1 ELSE ExitCode := 2 END;
   12    IF s = t THEN ExitCode := ExitCode + 10 END
   13  END RSet.

    0 errors