From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE,
	XPRIO autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT Community 2020 (20200818-93):   Big_Integer
Date: Fri, 7 Jul 2023 21:58:35 -0500
Organization: A noiseless patient Spider
Message-ID: <u8ajcf$1kk9n$1@dont-email.me>
References: <55561d4b-8288-4770-a7b5-681567752ab0n@googlegroups.com> <lyr0prq19e.fsf@pushface.org>
Injection-Date: Sat, 8 Jul 2023 02:58:24 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="c22dff3d0c5d9d50aab05dbe8a9b8b51";
	logging-data="1724727"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ehJIey5f8W13MQep7fExIlvZwp1ZqBrk="
Cancel-Lock: sha1:zoIIuoaaAPsLB5NSNMLavcxI4Mk=
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MSMail-Priority: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-RFC2646: Format=Flowed; Original
X-Priority: 3
Xref: news.eternal-september.org comp.lang.ada:65428
List-Id: <comp.lang.ada>

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyr0prq19e.fsf@pushface.org...
...
> I don't know whether the ARM requires/expects Big_Integer to be
> streamable, but I think you had every reason to expect it!

See 13.13.1(54/1):

For every subtype S of a language-defined nonlimited specific type T, the 
output generated by S'Output or S'Write shall be readable by S'Input or 
S'Read, respectively. This rule applies across partitions if the 
implementation conforms to the Distributed Systems Annex.

Ada.Numerics.Big_Numbers.Big_Integers.Big_integer surely is a 
language-defined nonlimited specific type, so the above applies. Streaming 
should work, if it doesn't, that's a bug.

                 Randy.