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 16:08:41 +0100
Organization: A noiseless patient Spider
Message-ID: <ncrmvr$s42$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> <ncr9a6$8a8$1@dont-email.me>
 <ncri16$1oop$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 15:05:31 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="28802"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18v6PWj9M3U2FXaUVkEyfyTDX98UgisFX4="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.6.0
In-Reply-To: <ncri16$1oop$1@gioia.aioe.org>
Cancel-Lock: sha1:eOT4U6LW0QLbUy1Adz3A8cAJ0/o=
Xref: news.eternal-september.org comp.lang.ada:29845
Date: 2016-03-22T16:08:41+01:00
List-Id: <comp.lang.ada>

On 22.03.16 14:40, Dmitry A. Kazakov wrote:

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

I take it that the certainty refers to "real". OK.

> Considering that file paths have equivalents in the given file
> system = an implementation is possible [*]. There would be no problem.

Except that possible /= real yet: Do we get there without
making ZIP aware of Ada's data representation needs?
Or without making the file system a typed file system,
for that matter?

> And in general, what your concern might be, is unrelated to the problem
> at hand. You are talking about serializing/deserializing some language
> object. This problem is independent on what the object is supposed to
> be.

Alas, mentioning that an object is supposed to be something
does not say what it should be in any interpretation.

Related question: What is a proper description of the "Form"
parameters of Ada's I/O routines, in terms of a standard Ada
type, or several standard Ada types?


> BTW, you forgot:
>
> 4. Pack it again and make sure that the new archive is exactly same.

Isn't the symmetry (modulo time stamps) already a consequence
of A and B not being specific?