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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,229ea0001655d6a2
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Newsgroups: comp.lang.ada
Subject: Re: Generic Package
References: <1177539306.952515.222940@s33g2000prh.googlegroups.com>
 <9eejm6rqip.fsf@hod.lan.m-e-leypold.de>
 <19qllkvm6ut42$.1iqo74vjgmsrv$.dlg@40tude.net>
 <1177801611.10171.32.camel@localhost.localdomain>
 <1woad6hn9idy2$.6otnwphc1o0h$.dlg@40tude.net>
 <1177929029.6111.34.camel@localhost>
 <maztz79bn7ey.1bxuei6uqjiwu.dlg@40tude.net>
 <1177944533.13970.17.camel@localhost>
 <2aq08qbvw0ym$.1rquampzo7o53.dlg@40tude.net> <m24pmx4q5p.fsf@mac.com>
 <1ieq3io2d6nnq$.13818v3y35gnr.dlg@40tude.net>
 <1178010142.6695.29.camel@localhost.localdomain>
 <yrtifdx6n145$.fizmsut5omi6$.dlg@40tude.net>
 <1178026941.16837.88.camel@localhost.localdomain>
 <1ozvzzh59ebq8$.yeh9do8s3hig$.dlg@40tude.net>
 <1178055690.27673.39.camel@localhost.localdomain>
 <1gptkhkkk93hj.1n23zmm3go7tc$.dlg@40tude.net>
 <1178106506.17912.33.camel@localhost>
 <1d7fjjn90n15q.tz3xkhxpuz5x.dlg@40tude.net>
 <1178216879.11140.18.camel@kartoffel>
 <157vfd1gw6dfc$.3heukv815ut7$.dlg@40tude.net>
From: Markus E Leypold
 <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Organization: N/A
Date: Thu, 03 May 2007 21:49:45 +0200
Message-ID: <9virb9661y.fsf@hod.lan.m-e-leypold.de>
User-Agent: Some cool user agent (SCUG)
Cancel-Lock: sha1:mM5bccWWr+jZF+SldO9K9FShTv8=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 88.72.229.42
X-Trace: news.arcor-ip.de 1178221290 88.72.229.42 (3 May 2007 21:41:30 +0200)
X-Complaints-To: abuse@arcor-ip.de
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!news2.euro.net!newsfeed.freenet.de!news.unit0.net!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail
Xref: g2news1.google.com comp.lang.ada:15481
Date: 2007-05-03T21:49:45+02:00
List-Id: <comp.lang.ada>


"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Thu, 03 May 2007 20:27:59 +0200, Georg Bauhaus wrote:
>
>> On Wed, 2007-05-02 at 15:12 +0200, Dmitry A. Kazakov wrote:
>>> On Wed, 02 May 2007 13:48:26 +0200, Georg Bauhaus wrote:
>>> 
>>>> On Wed, 2007-05-02 at 12:29 +0200, Dmitry A. Kazakov wrote:
>>>> 
>>>>>> Memory is not abstract, addresses aren't abstract,
>>>>> 
>>>>> In what sense? 
>>>> 
>>>> When you write a Set implementation for a PC, you can specifying
>>>> addresses and refer to addresses in a consistent way.
>>> 
>>> But I am not required to do so.
>> 
>> (I'll listen to Randy who said: "In any case, this is an Ada forum,
>> and abstractions that you cannot describe in Ada are simply not
>> relevant", and be brief, for one more time only.)
>
> There exist legal Ada programs which don't refer to the type
> System.Address.
>
> (which statement is an exact equivalent to "I am not required to do so"
> [use addresses in Ada])

Considering you started with a "you can't ..." statement, "not
required" won't do as an argument.

 - M