From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.66.182.137 with SMTP id ee9mr5302384pac.0.1389214223875; Wed, 08 Jan 2014 12:50:23 -0800 (PST) X-Received: by 10.51.17.103 with SMTP id gd7mr1487igd.14.1389214223375; Wed, 08 Jan 2014 12:50:23 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!usenet-its.stanford.edu!usenet.stanford.edu!kk17no5735625pbb.0!news-out.google.com!l9ni8458qay.0!nntp.google.com!p15no3282513qaj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 8 Jan 2014 12:50:23 -0800 (PST) In-Reply-To: <66e43abe-7918-4296-a12f-a8454ea4cd80@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=KSa2aQoAAACOxnC0usBJYX8NE3x3a1Xq NNTP-Posting-Host: 66.126.103.122 References: <66e43abe-7918-4296-a12f-a8454ea4cd80@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <43281c85-eeec-44f9-859e-2e9463a9be64@googlegroups.com> Subject: Re: Did I understand it or not From: adambeneschan@gmail.com Injection-Date: Wed, 08 Jan 2014 20:50:23 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:18138 Date: 2014-01-08T12:50:23-08:00 List-Id: On Wednesday, January 8, 2014 12:27:54 PM UTC-8, Anh Vo wrote: > I strongly believe that Flush subprogram did not clear the previous input from the terminal. Flush, with no parameters, operates on the current *output* file. In fact, I don't think Flush operates on input at all. If you give it a file of mode In_File, it raises an exception (A.10.3(20), A.12.1(36)). -- Adam