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
X-Google-Thread: 103376,ea5071f634c2ea8b
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.15.41 with SMTP id u9mr7624930pbc.3.1322129426220;
        Thu, 24 Nov 2011 02:10:26 -0800 (PST)
Path: 
 lh20ni12348pbb.0!nntp.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Generic-Package Elaboration Question / Possible GNAT Bug.
Date: Thu, 24 Nov 2011 11:10:04 +0100
Organization: cbb software GmbH
Message-ID: <sv6jslo32ppg$.ji4kulr9k5z2$.dlg@40tude.net>
References: 
 <7bf9bc32-850a-40c6-9ae2-5254fe220533@f29g2000yqa.googlegroups.com>
 <wcc4nxzu5gf.fsf@shell01.TheWorld.com>
 <4295dc09-43de-4557-a095-fc108359f27f@y42g2000yqh.googlegroups.com>
 <fe29npj98k5s$.1vzwcva8q22hk.dlg@40tude.net>
 <a5d7119f-7bb7-41e4-8d76-ef08f2d958d9@g7g2000vbd.googlegroups.com>
 <3snehoqgs8ia$.1nobjem6g6hx6$.dlg@40tude.net>
 <wcc1ut14o97.fsf@shell01.TheWorld.com>
 <128rdz2581345$.c4td19l7qp9z$.dlg@40tude.net> <jaecvt$4tp$1@dont-email.me>
 <16ipwvpdavifr$.17bxf7if7f6kh$.dlg@40tude.net>
 <4ecb78b1$0$6643$9b4e6d93@newsspool2.arcor-online.net>
 <1iofgbqznsviu$.phvidtvxlyj4$.dlg@40tude.net>
 <4ecbb96e$0$6581$9b4e6d93@newsspool3.arcor-online.net>
 <vagow98uvk3n$.198v2ms719j4e$.dlg@40tude.net>
 <743e83a1-c442-444b-a25a-da706e9cd0f9@g7g2000vbd.googlegroups.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news2.google.com comp.lang.ada:14593
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2011-11-24T11:10:04+01:00
List-Id: <comp.lang.ada>

On Wed, 23 Nov 2011 19:07:55 -0800 (PST), Shark8 wrote:

> On Nov 22, 10:23�am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:

>> I don't care about trade marks and definitions given by reference
>> manuals...
> 
> Why not; definitions are essential to understanding each other.
> If someone saying 'hammer' means 'shotgun' then what does "I need a
> hammer." mean?

That is the reason. TM and RM are inclined to name hammer shotgun.

DbC (TM) considerably deviates from design by contract (common sense), as
Georg has explained willingly or not. For example disregarding separation
of interface and implementation is not how things are designed by contract.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de