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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: [ANN] List_Image v0.2.0
Date: Fri, 2 Feb 2018 16:54:33 -0600
Organization: JSA Research & Innovation
Message-ID: <p52q7a$rq3$1@franka.jacob-sparre.dk>
References: 
 <575826a1-c983-49aa-95e2-54048f6b7b5b@googlegroups.com><da6805ff-8429-4ca0-bbb5-f5462040989d@googlegroups.com><p4tmt9$p48$1@franka.jacob-sparre.dk><1b89075d-c284-4358-93b9-704e4b079292@googlegroups.com><p509g4$nt5$1@franka.jacob-sparre.dk>
 <lyh8qzo0jl.fsf@pushface.org>
Injection-Date: Fri, 2 Feb 2018 22:54:34 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="28483"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:50283
Date: 2018-02-02T16:54:33-06:00
List-Id: <comp.lang.ada>

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyh8qzo0jl.fsf@pushface.org...
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>
>> You could test the case of the file system
>> (Ada.Directories.Name_Case_Equivalence), Unix/Linux is always
>> Case_Insensitive. Windows is Case_Preserving unless you are running a
>  ^^^^^^^^^^^^^^^^?

Case_Sensitive, of course. My bad.

>> POSIX file system -- but then you probably would want POSIX line
>> terminators, too.
>
> But not if you are using GNAT (GPL or FSF). Bug 80869 refers[1].

That's unfortunate.

You could submit an ACATS test for Name_Case_Equivalence, which would make 
it more obvious to an implementer when it is missing. (I wrote a couple of 
tests for Ada.Directories a few years back, but Name_Case_Equivalence and 
searching aren't covered. Hierarchical_File_Names is covered.)

Back in the day, AdaCore used to say to say that GNAT followed all RM 
Implementation Advice. It's too bad they don't do that any more (vis-a-vis 
Hierarchical_File_Names, etc.). I had an interesting conversation with 
Robert Dewar on the topic when I built the ACATS test, but the ACATS test 
result is OK as not providing the package is allowed.

I note this is probably the only thing that Ada 2005 thing that Janus/Ada 
does that GNAT does not.

> macOS will be Case_Preserving (it is possible to set HFS to be case
> sensitive, but you're not advised to do so, since loads of applications
> won't work).
>
> [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80869

Randy.