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.
next prev parent 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