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

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 2016-08-14 11:40, Simon Wright wrote:

> 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.

You can through S'Input. Read is just a wrapper for S'Read, it could 
have been omitted too.

And regarding the design it should have been:

package Ada.Streams is
    type Abstract_Root_Stream_Type is limited interface;
    type Root_Stream_Type is new Abstract_Root_Stream_Type with private;

...
package Ada.Streams.Stream_IO is
    type File_Type is new Abstract_Root_Stream_Type with private;

and no

function Stream (File : in File_Type) return Stream_Access;

>> 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.

Yes, when String'Component_Size = Stream_Element_Size = 8.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de