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

[Simon Wright <simon@pushface.org>]

AdaMagica <christ-usch.grein@t-online.de> writes:

> Am Samstag, 13. August 2016 20:03:51 UTC+2 schrieb Jeffrey R. Carter:
>> $ ./str_seq_io
>>  32
>> $ hd junk
>> 00000000  06 00 00 00 00 00 00 00  61 62 63 64 65 66        |........abcdef|
> ???? -- Letters 'A' through 'Z' are at positions 65 through 90 ????

'hd' is (probably) Carter's alias for 'hexdump -C' - the values are in
hex. And, those are letters 'a' .. 'z', not 'A' .. 'Z'.

>> 0000000e
> [...]
> But what's 00000000 and 0000000e?

The (hex) offsets within the file.

> Obviously on your 64-bit machine, length is output in 64 bits,
> although Integer has only 32.

Come to think of it, what would the use case be for instantiating
Sequential (or Direct) IO with an unconstrained type? they both have
only procedural forms for Read, so how could you ever retrieve a value?

GNAT has

   package Ada.Sequential_IO is

      pragma Compile_Time_Warning
        (Element_Type'Has_Access_Values,
         "Element_Type for Sequential_IO instance has access values");

      pragma Compile_Time_Warning
        (Element_Type'Has_Tagged_Values,
         "Element_Type for Sequential_IO instance has tagged values");

so should we ask for GNAT to do similar with "not
Element_Type'Constrained"? (use of 'Constrained with a type is a GNAT
extension).