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,48e1a3c594fb62e8
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: SPARK
Date: Thu, 20 May 2010 22:51:05 +0100
Organization: A noiseless patient Spider
Message-ID: <m2hbm2utrq.fsf@pushface.org>
References: <op.vcl6900wule2fv@garhos> <op.vcr9heg2ule2fv@garhos>
	<op.vcwxo3zrule2fv@garhos>
	<42a7e70b-b780-4f86-83ca-6cf79ff81dd1@f14g2000vbn.googlegroups.com>
	<m2pr0rvd8w.fsf@pushface.org> <op.vcy1v3fuxmjfy8@garhos>
	<m2ljbfum88.fsf@pushface.org> <op.vczsa0brxmjfy8@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 20 May 2010 21:51:07 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="KCXegvZb5vh43D+f3BR6Ew";
	logging-data="24780"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19CKAmGzO3IH2S5n2gaKkxgHrxwn5Z75lY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (darwin)
Cancel-Lock: sha1:7RWCsalTWGbgFtGixDnlb2lDp2Q=
	sha1:tGsK+kpgAVgxZ4WW3ztlhvqTdN0=
Xref: g2news2.google.com comp.lang.ada:11827
Date: 2010-05-20T22:51:05+01:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Still wonder why Text_IO fails here, and surprisingly right at
> startup. Requires investigations.

The section that leads to the problem is

      SPARK_IO.Open (File         => Id,
                     Mode_Of_File => Mode,
                     Name_Length  => File.Length,
                     Name_Of_File => Str (File),
                     Form_Of_File => "",
                     Status       => Status);

      if Status = SPARK_IO.Name_Error then
         SPARK_IO.Create (File         => Id,
                          Name_Length  => File.Length,
                          Name_Of_File => Str (File),
                          Form_Of_File => "",
                          Status       => Status);
      end if;

and you can see why exceptions are involved 'under the hood'!

The progress messages from sparkmake were enough to allow me to create
the files concerned (foo.idx, foo.smf) using touch after which sparkmake
was able to update them.

One hopes that GNAT GPL 2010 will run on Snow Leopard! (and of course on
Leopard for those who felt no need to update).