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-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a0c:dc81:: with SMTP id n1mr6049638qvk.36.1635003638033; Sat, 23 Oct 2021 08:40:38 -0700 (PDT) X-Received: by 2002:a5b:846:: with SMTP id v6mr6153123ybq.457.1635003637911; Sat, 23 Oct 2021 08:40:37 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 23 Oct 2021 08:40:37 -0700 (PDT) In-Reply-To: <1f4b8c1e-a74f-4d43-8136-1868d598595an@googlegroups.com> Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1206:4596:5040:a981:c1a6:b7a2:9cb8; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 2a02:1206:4596:5040:a981:c1a6:b7a2:9cb8 References: <93df825f-5c18-4a02-a399-74c7ee7cf784n@googlegroups.com> <1f4b8c1e-a74f-4d43-8136-1868d598595an@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7e038890-f387-43a2-89fe-00211c0b82dfn@googlegroups.com> Subject: Re: How to test if file = Ada.Text_IO.Standard_Input ? From: Gautier write-only address Injection-Date: Sat, 23 Oct 2021 15:40:38 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:63065 List-Id: Le samedi 23 octobre 2021 =C3=A0 14:28:24 UTC+2, reinert a =C3=A9crit=C2=A0= : > Yes, now it compiles !=20 Interesting to see what name GNAT gives to Standard_Input: with Ada.Text_IO; procedure SIO is begin Ada.Text_IO.Put_Line ('[' & Ada.Text_IO.Name (Ada.Text_IO.Standard_Input)= & ']'); Ada.Text_IO.Put_Line ('[' & Ada.Text_IO.Name (Ada.Text_IO.Standard_Error)= & ']'); end; [*stdin] [*stderr]