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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,6327f05d4989a68d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.181.13.205 with SMTP id fa13mr1720556wid.3.1358656296823;
        Sat, 19 Jan 2013 20:31:36 -0800 (PST)
Path: 
 o9ni8459wio.1!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.103.MISMATCH!feeder3.cambriumusenet.nl!feed.tweaknews.nl!85.12.40.130.MISMATCH!xlned.com!feeder1.xlned.com!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.teledata-fn.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 12 Jan 2013 08:55:38 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: File_Exists (Was: Press Release - Ada 2012 Language Standard
 Approved by ISO)
References: <kap6v8$mr7$1@dont-email.me>
 <wcc8v8vti17.fsf@shell01.TheWorld.com>
 <CCF68CB9.22EB9%yaldnif.w@blueyonder.co.uk>
 <7wrdmbre6jw9.qww9l0uzj6mg.dlg@40tude.net> <katr14$sef$2@munin.nbi.dk>
 <14oqoq06zhlu2.tcasif3hdyhw.dlg@40tude.net> <kb333b$tcg$1@munin.nbi.dk>
 <1drh1q1ln2dfh$.a9hwlg01fjfy.dlg@40tude.net>
 <50d6365d$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1pbg79bz92j3t$.sz41zduivjfp.dlg@40tude.net>
 <c174226a-b519-4cc0-b37c-eee4e7825e00@googlegroups.com>
 <4c101d74-c8cb-45a6-82d4-91923bb950b0@googlegroups.com>
 <87sj6tre9s.fsf@mid.deneb.enyo.de>
 <e9f91590-75b2-4cb4-b897-e8f06d0128e6@googlegroups.com>
 <kbg9bp$a72$1@munin.nbi.dk>
 <895c9eb7-03f8-4b0c-96b4-3dbd7a315ccd@googlegroups.com>
 <sygavjbms2ti.1vyrm2stnzrwd.dlg@40tude.net>
 <87obgvr8ti.fsf_-_@adaheads.sparre-andersen.dk>
In-Reply-To: <87obgvr8ti.fsf_-_@adaheads.sparre-andersen.dk>
Message-ID: <50f116f7$0$6548$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 12 Jan 2013 08:55:36 CET
NNTP-Posting-Host: fd775dfa.newsspool4.arcor-online.net
X-Trace: 
 DXC=@9\\ZX5:995U`5g[@c]@J14IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;0cGjm6MEWa6PCY\c7>ejV8nZhI<^6M6B2B<aQLee<gN8
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-01-12T08:55:36+01:00
List-Id: <comp.lang.ada>

On 11.01.13 17:19, Jacob Sparre Andersen wrote:

> Can anybody supply some other sensible use cases for
> File_Exists/File_Missing.

File_Exists (and stat(1)-like access to external resources)
can be fine when a program controls an installation at each
point in time. That is, no other (instance of a) program
can interfere.

It should be possible, then, to remove from consideration any
section of the Ada run-time system that provides for input or
output to File, since it won't be needed in this part of an
Ada program.