1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/rational_arithmetic.ads b/gcc/testsuite/gnat.dg/rational_arithmetic.ads
new file mode 100644
index 000000000..f4398c514
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/rational_arithmetic.ads
@@ -0,0 +1,37 @@
+package Rational_Arithmetic is
+  -- Whole numbers
+  type Whole is new Integer;
+--
+  -- Undefine unwanted operations
+  function "/" (Left, Right: Whole) return Whole is abstract;
+--
+  -- Rational numbers
+--
+  type Rational is private;
+--
+  -- Constructors
+--
+  function "/" (Left, Right: Whole) return Rational;
+--
+  -- Rational operations
+--
+  function "-" (Left, Right: Rational) return Rational;
+--
+  -- Mixed operations
+--
+  function "+" (Left: Whole   ; Right: Rational) return Rational;
+  function "-" (Left: Whole   ; Right: Rational) return Rational;
+  function "-" (Left: Rational; Right: Whole   ) return Rational;
+  function "/" (Left: Whole   ; Right: Rational) return Rational;
+  function "*" (Left: Whole   ; Right: Rational) return Rational;
+  function "*" (Left: Rational; Right: Whole   ) return Rational;
+--
+  -- Relational
+--
+  function "=" (Left: Rational; Right: Whole) return Boolean;
+--
+private
+  type Rational is record
+    Numerator, Denominator: Whole;
+  end record;
+end Rational_Arithmetic;