help / color / mirror / Atom feed
From: "Randy Brukardt" <>
Subject: Re: GNAT Community 2020 (20200818-93):   Big_Integer
Date: Fri, 7 Jul 2023 21:58:35 -0500	[thread overview]
Message-ID: <u8ajcf$1kk9n$> (raw)

"Simon Wright" <> wrote in message
> 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.


      reply	other threads:[~2023-07-08  2:58 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-06-30 19:28 GNAT Community 2020 (20200818-93): Big_Integer Frank Jørgen Jørgensen
2023-06-30 21:07 ` Dmitry A. Kazakov
2023-07-01 12:12 ` Simon Wright
2023-07-08  2:58   ` Randy Brukardt [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox