Listing:

    1  MODULE TMEnum;
    2  MODULE M EXPORT Color, Red, Green, Blue;
    3  TYPE Color = (Red, Green, Blue);
    4  END M;
    5  VAR c : M.Color; ExitCode : INTEGER;
    6  BEGIN
    7    c := M.Green;
    8    IF c = M.Green THEN ExitCode := 4 ELSE ExitCode := 0 END;
    9    CASE c OF
   10      M.Red : ExitCode := 0 |
   11      M.Green : ExitCode := ExitCode + 7 |
   12      M.Blue : ExitCode := 0
   13    END
   14  END TMEnum.

    0 errors