1-- { dg-do compile }
2
3with Rational_Arithmetic;
4use  Rational_Arithmetic;
5procedure 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);
12begin
13  R := 1+1/(4/8);
14  R := 2*(3/2)-(7/3)*3;
15end Test_Rational_Arithmetic;
16