From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-91-241.ec2.internal X-Spam-Level: * X-Spam-Status: No, score=1.0 required=3.0 tests=FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.ada Subject: Re: get_immediate echoe character--compiled error? Date: Mon, 02 Oct 2023 15:27:33 -0700 Organization: None to speak of Message-ID: <87lecku0bu.fsf@nosuchdomain.example.com> References: <87fs2tr2vf.fsf@nosuchdomain.example.com> MIME-Version: 1.0 Content-Type: text/plain Injection-Info: dont-email.me; posting-host="a16d87f2beab0c7c4b748bfb6f88102e"; logging-data="3324474"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Svbcu7HRShrpsTbOERSXl" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) Cancel-Lock: sha1:ksTeALmRilbSFVrcVO30/7IHdsI= sha1:beV/YORkrGt7LOZh8xBhCfieE7w= Xref: news.eternal-september.org comp.lang.ada:65767 List-Id: richardthiebaud writes: > On 10/2/23 01:48, Keith Thompson wrote: >> richardthiebaud 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? [...] -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com Will write code for food. void Void(void) { Void(); } /* The recursive call of the void */