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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,9983e856ed268154
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.89.225 with SMTP id br1mr367607pab.3.1345743745797;
        Thu, 23 Aug 2012 10:42:25 -0700 (PDT)
Path: 
 a8ni13355108pbd.1!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!weretis.net!feeder4.news.weretis.net!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 23 Aug 2012 19:42:35 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:14.0) Gecko/20120713 Thunderbird/14.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Should Inline be private in the private part of a package spec?
References: <501bd285$0$6564$9b4e6d93@newsspool4.arcor-online.net>
 <503375ac$0$6565$9b4e6d93@newsspool3.arcor-online.net>
 <1vglgit7vnu4l$.2ytljabrhk2.dlg@40tude.net>
 <5033986c$0$6573$9b4e6d93@newsspool3.arcor-online.net>
 <62h5nifarvom.1myeqdyevhefq.dlg@40tude.net>
 <5033b4d8$0$6571$9b4e6d93@newsspool3.arcor-online.net>
 <gpcuiu6p58gd$.118wuad9bdmvo$.dlg@40tude.net>
 <5033ff28$0$6185$ba4acef3@reader.news.orange.fr>
 <k7637a11gmnm$.1lv7ly66jmka8$.dlg@40tude.net>
 <5034dac1$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <gqe8rxff4blh$.118of9mfkr6y8.dlg@40tude.net>
 <50350d35$0$6579$9b4e6d93@newsspool3.arcor-online.net>
 <1xdzh15anpuc0.1xw8mwmojasjk$.dlg@40tude.net>
 <50354c95$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <1sfidfvz480e7$.l49woc2l4lji.dlg@40tude.net>
 <5035f059$0$6580$9b4e6d93@newsspool3.arcor-online.net>
 <1i9sfhbz3harl$.1ihaky0f5ne8d$.dlg@40tude.net>
 <50361526$0$6577$9b4e6d93@newsspool3.arcor-online.net>
 <qtic9okggi28$.1uqruxnq6aqu6$.dlg@40tude.net>
 <op.wjhw6bauka8ora@aspire.local>
In-Reply-To: <op.wjhw6bauka8ora@aspire.local>
Message-ID: <50366b80$0$6569$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 23 Aug 2012 19:42:24 CEST
NNTP-Posting-Host: 671b6b47.newsspool3.arcor-online.net
X-Trace: 
 DXC=WWOaUDoaJG?=FQB?mjjV50McF=Q^Z^V384Fo<]lROoR18kF<OcfhCO;hN115;<XaX0nc\616M64>:Lh>_cHTX3j=T0@i>ShYV?4
X-Complaints-To: usenet-abuse@arcor.de
X-Received-Bytes: 2582
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2012-08-23T19:42:24+02:00
List-Id: <comp.lang.ada>

On 23.08.12 15:31, Vasiliy Molostov wrote:
> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме Thu, 23
> Aug 2012 16:45:58 +0400:
> 
>> On Thu, 23 Aug 2012 13:33:57 +0200, Georg Bauhaus wrote:
>> Structured data cannot have unknown structure.
> 
> Wrong. Known it is or not known, it is not a property of structure itself, but
> a property of an observer's view (ada introduced 'views' btw in RM). If some
> observer can not see the structure through his obscure view this does not mean
> that there is no structure at all.

Exactly.