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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Operating System differences and Ada OS independent programming
Date: Tue, 22 Mar 2016 12:15:16 +0100
Organization: A noiseless patient Spider
Message-ID: <ncr9a6$8a8$1@dont-email.me>
References: <56eff4a4$0$4238$e4fe514c@news.kpn.nl>
 <dta0fbll6sipc98r88nacm4k9adthj3amn@4ax.com> <ncpr5p$mnb$1@loke.gir.dk>
 <ncr0jc$qi6$1@gioia.aioe.org>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 22 Mar 2016 11:12:06 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="8520"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19w8IMTy/cfSCTiO9hkJXW4jv3l398iv24="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.6.0
In-Reply-To: <ncr0jc$qi6$1@gioia.aioe.org>
Cancel-Lock: sha1:26n6c9TjKNxs7Muc3VyzmqZVANU=
Xref: news.eternal-september.org comp.lang.ada:29841
Date: 2016-03-22T12:15:16+01:00
List-Id: <comp.lang.ada>

On 22.03.16 09:43, Dmitry A. Kazakov wrote:

> Of course, it is not normalization what is needed, but proper typing
> instead. Path is not a string. It must be a defined in the Ada standard
> type with basic operations including OS-dependent string to path
> conversion and backwards. Of course standard packages must take
> instances of the type as parameters when opening a file. This will
> eliminate most if not all real problems (as opposed to imaginary ones)
> with it.

Would this be real:

1. Take a zipped archive, produced by a real ZIP program,
    of an Ada program's file system hierarchy on System A.

2. unzip in the same manner on System B.

3. Expect Ada's (not yet real) file system related types
    to handle the files thus transported.