Listing:

    1  MODULE TBadCase;
    2  VAR ExitCode : INTEGER;
    3      r : RECORD x : INTEGER END;
    4  BEGIN
    5    r.x := 1;
    6    CASE r OF
*****         ^ incompatible comparison
    7      1: r.x := 2
*****      ^ incompatible comparison
    8    ELSE r.x := 3
    9    END;
   10    ExitCode := r.x
   11  END TBadCase.

    2 errors