Re: get_immediate echoe character--compiled error?

[richardthiebaud <thiebauddick2@aol.com>]

On 10/2/23 18:27, Keith Thompson wrote:
> richardthiebaud <thiebauddick2@aol.com> writes:
>> On 10/2/23 01:48, Keith Thompson wrote:
>>> richardthiebaud <thiebauddick2@aol.com> writes:
>>>> When I build and run the following program using Gnat 11 in Linux Mint
>>>> 21.2, the keys I press are echoed on the console. According to the Ada
>>>> Reference Manual, they should not be echoed. Is this a compiler error?
>>> Where does the ARM say that?
>> https://www.adaic.org/resources/add_content/standards/05rm/html/RM-A-10-7.html
> 
> I don't see anything there about the character being echoed, or not.
> 
>> If a character, either control or graphic, is available from the
>> specified File or the default input file, then the character is read;
>> Available is True and Item contains the value of this character. If a
>> character is not available, then Available is False and the value of
>> Item is not specified. Mode_Error is propagated if the mode of the file
>> is not In_File. End_Error is propagated if at the end of the file. The
>> current column, line and page numbers for the file are not affected.
> 
> Are you assuming that not updating the current column, line, and page
> numbers for the file implies that the character is not echoed?
> 
> [...]
> 
In any case, when it echos the character. it increases the current 
column by 1, and that does contradict the Ada Reference Manual.