M2compiler-V3/compiler/tests/t_f32field.mod

MODULE TF32Field;
TYPE R = RECORD x : SHORTREAL; b : CBool; END;
VAR ExitCode : INTEGER;
    r : R;
    a : ARRAY [0..1] OF SHORTREAL;
BEGIN
  r.x := 1.5;
  r.b := TRUE;
  a[0] := 2.25;
  a[1] := 3.0;
  IF (r.x = 1.5) AND r.b
     AND (a[0] = 2.25) AND (a[1] = 3.0)
     AND (SIZE(SHORTREAL) = 4) AND (SIZE(CBool) = 1) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TF32Field.