From: Steve Baird Date: Tue, 7 Apr 2020 23:03:52 +0000 (-0700) Subject: [Ada] Enable literal aspect specifications in Big_Numbers specs X-Git-Tag: basepoints/gcc-12~6884 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0951b918ca3d9a600f6732e985117520f203e501;p=thirdparty%2Fgcc.git [Ada] Enable literal aspect specifications in Big_Numbers specs 2020-06-16 Steve Baird gcc/ada/ * libgnat/a-nbnbin.ads, libgnat/a-nbnbre.ads: Uncomment the commented-out Integer_Literal aspect specification for type Big_Integer. --- diff --git a/gcc/ada/libgnat/a-nbnbin.ads b/gcc/ada/libgnat/a-nbnbin.ads index 581e868b8991..e0a905701c24 100644 --- a/gcc/ada/libgnat/a-nbnbin.ads +++ b/gcc/ada/libgnat/a-nbnbin.ads @@ -27,8 +27,8 @@ package Ada.Numerics.Big_Numbers.Big_Integers with Preelaborate is type Big_Integer is private with - -- Integer_Literal => From_String, - Put_Image => Put_Image; + Integer_Literal => From_String, + Put_Image => Put_Image; function Is_Valid (Arg : Big_Integer) return Boolean with Convention => Intrinsic; diff --git a/gcc/ada/libgnat/a-nbnbre.ads b/gcc/ada/libgnat/a-nbnbre.ads index ddfbd7746f7e..1e90ffb976c9 100644 --- a/gcc/ada/libgnat/a-nbnbre.ads +++ b/gcc/ada/libgnat/a-nbnbre.ads @@ -26,7 +26,7 @@ package Ada.Numerics.Big_Numbers.Big_Reals with Preelaborate is type Big_Real is private with --- Real_Literal => From_String, + Real_Literal => From_String, Put_Image => Put_Image; function Is_Valid (Arg : Big_Real) return Boolean