MODULE TF32Const;
(* Compile-time SHORTREAL conversion in CONST declarations. *)
CONST
  sr = SHORTREAL(1.5);
  si = SHORTREAL(1);
VAR
  ExitCode : INTEGER;
  x, y : SHORTREAL;
BEGIN
  x := sr;
  y := si;
  IF (x = 1.5) AND (y = 1.0) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TF32Const.