From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT.Serial_Communication and Streams
Date: Wed, 25 Nov 2015 18:43:26 +0100
Date: 2015-11-25T18:43:26+01:00 [thread overview]
Message-ID: <dgyykfsg080f.qn87qly600iw.dlg@40tude.net> (raw)
In-Reply-To: 0878b65a-dd37-4f30-a49c-2f2e41c06f6a@googlegroups.com
On Wed, 25 Nov 2015 04:45:38 -0800 (PST), Shark8 wrote:
> On Wednesday, November 25, 2015 at 1:52:46 AM UTC-7, Dmitry A. Kazakov wrote:
>>
>> You can validate compilers only against mandated behavior. Stream attribute
>> to produce same sequences of stream elements across all Ada compilers is
>> just not required.
>
> That's rather irrelevant: that Stream'Input is allowed to have an
> implementation-defined representation for its stream is immaterial to your
> claim that the compiler cannot be verified
This immediately follows from being "implementation-defined."
Implementation-defined = [forall] not defined.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2015-11-25 17:43 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-22 21:40 GNAT.Serial_Communication and Streams rrr.eee.27
2015-11-22 21:52 ` Simon Wright
2015-11-22 21:54 ` Jeffrey R. Carter
2015-11-24 1:29 ` Randy Brukardt
2015-11-24 16:09 ` Jeffrey R. Carter
2015-11-24 8:28 ` Dmitry A. Kazakov
2015-11-24 10:28 ` Simon Wright
2015-11-24 10:45 ` Dmitry A. Kazakov
2015-11-25 6:24 ` Shark8
2015-11-25 8:07 ` Simon Wright
2015-11-25 8:52 ` Dmitry A. Kazakov
2015-11-25 12:45 ` Shark8
2015-11-25 17:43 ` Dmitry A. Kazakov [this message]
2015-11-29 8:45 ` Shark8
2015-11-29 9:33 ` Dmitry A. Kazakov
2015-11-29 11:34 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox