Re: How to write "Hello" to a text file without a line terminator

[Simon Wright <simon@pushface.org>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On 2016-08-14 10:30, Simon Wright wrote:
>
>> Come to think of it, what would the use case be for instantiating
>> Sequential (or Direct) IO with an unconstrained type?
>
> Direct_IO requires a constrained type.

So it does. And Sequential_IO explicitly permists an unconstrained
type. Still,

>> they both have
>> only procedural forms for Read, so how could you ever retrieve a value?
>
> Does it matter? It is not portable to use anyway.

I am saying that (it seems to me that) it is impossible to read back
from Sequential_IO with an unconstrained type even on the same machine
with the same compiler.

> All that needed is pragma Assert that Stream_Element'Size = 8 and
> Stream_Element_Array I/O.

Ada.Streams.Stream_IO & String'Write is even simpler in 99.9% of cases.