comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: [ANN] List_Image v0.2.0
Date: Fri, 2 Feb 2018 16:54:33 -0600
Date: 2018-02-02T16:54:33-06:00	[thread overview]
Message-ID: <p52q7a$rq3$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: lyh8qzo0jl.fsf@pushface.org

"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.



  reply	other threads:[~2018-02-02 22:54 UTC|newest]

Thread overview: 30+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-31  0:44 [ANN] List_Image v0.2.0 Lionel Draghi
2018-01-31  7:27 ` briot.emmanuel
2018-01-31 21:11   ` Lionel Draghi
2018-02-01  8:05     ` briot.emmanuel
2018-02-01  9:48     ` J-P. Rosen
2018-02-01 15:48       ` Lionel Draghi
2018-02-01 17:20         ` bozovic.bojan
2018-02-01 18:31           ` Lionel Draghi
2018-02-01 18:45             ` bozovic.bojan
2018-02-01 20:26               ` Dennis Lee Bieber
2018-02-02  5:25                 ` J-P. Rosen
2018-02-02  0:02             ` Randy Brukardt
2018-02-02  0:31               ` Simon Clubley
2018-02-02 18:34               ` Lionel Draghi
2018-02-02 22:40                 ` Randy Brukardt
2018-02-11 23:27                   ` Lionel Draghi
2018-02-12  6:55                     ` J-P. Rosen
2018-02-12 20:44                       ` Lionel Draghi
2018-02-12 10:57                     ` Stefan.Lucks
2018-02-12 21:41                       ` Lionel Draghi
2018-03-07 10:17                     ` Semantic versioning (Was: [ANN] List_Image v0.2.0) Jacob Sparre Andersen
2018-02-01 20:11         ` [ANN] List_Image v0.2.0 J-P. Rosen
2018-02-01 21:08           ` Simon Wright
2018-02-01  0:27   ` Randy Brukardt
2018-02-01  7:55     ` briot.emmanuel
2018-02-01 23:56       ` Randy Brukardt
2018-02-02 15:48         ` Simon Wright
2018-02-02 22:54           ` Randy Brukardt [this message]
2018-02-01  8:08     ` Simon Wright
2018-02-01  8:24       ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox