gnu / gcc / d769c5040874bf9546f2524f3f1d2a894165f92a / . / gcc / testsuite / gnat.dg / test_rational_arithmetic.adb

-- { dg-do compile } | |

with Rational_Arithmetic; | |

use Rational_Arithmetic; | |

procedure Test_Rational_Arithmetic is | |

R: Rational := 10/2; | |

B: Boolean := R = 5/1; -- RHS cannot be a Whole | |

-- ("/" has been "undefined") | |

C: Boolean := R = Rational' (5/1); | |

D: Boolean := (6/3) = R; | |

E: Boolean := (2/1 = 4/2); | |

begin | |

R := 1+1/(4/8); | |

R := 2*(3/2)-(7/3)*3; | |

end Test_Rational_Arithmetic; |