gcc/testsuite/gnat.dg/test_rational_arithmetic.adb

   1 -- { dg-do compile }
   2
   3 with Rational_Arithmetic;
   4 use  Rational_Arithmetic;
   5 procedure Test_Rational_Arithmetic is
   6   R: Rational := 10/2;
   7   B: Boolean  := R = 5/1;  -- RHS cannot be a Whole
   8                            -- ("/" has been "undefined")
   9   C: Boolean  := R = Rational' (5/1);
  10   D: Boolean  := (6/3) = R;
  11   E: Boolean  := (2/1 = 4/2);
  12 begin
  13   R := 1+1/(4/8);
  14   R := 2*(3/2)-(7/3)*3;
  15 end Test_Rational_Arithmetic;