Compiler Explorer

Source code

-- This pragma will remove the warning produced by the default 
-- CE filename and the procedure name differing,
-- see : https://gcc.gnu.org/onlinedocs/gcc-8.2.0/gnat_rm/Pragma-Source_005fFile_005fName.html#Pragma-Source_005fFile_005fName
pragma Source_File_Name (Square, Body_File_Name => "example.adb");
procedure Example is

package Rational_Numbers is
        type Rational is record
            Numerator   : Integer;
            Denominator : Positive;
        end record;
        function "/" (X,Y : Integer) return Rational;
    end Rational_Numbers;

package body Rational_Numbers is
        function "/" (X,Y : Integer) return Rational is
        begin
            if Y > 0 then
                return (Numerator => X,  Denominator => Y);
            else
                return (Numerator => -X, Denominator => -Y);
            end if;
        end "/";
    end Rational_Numbers;

use Rational_Numbers;
    r : Rational := (4,3);
    rr : Rational := 5/6;
begin 
    null;
end Example;