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,e55245590c829bef
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de>
Newsgroups: comp.lang.ada
Subject: Re: Beginners question: Compound types, how-to?
Date: Wed, 03 Nov 2010 22:31:53 +0100
Message-ID: <op.vll53fbj0k3wt7@jellix.jlfencey.com>
References: <86wroy58ff.fsf@gareth.avalon.lan>
 <iale5p$2f6$1@tornado.tornevall.net> <86pqup5xfy.fsf@gareth.avalon.lan>
 <becbd7a4-89e6-4d81-b7d8-7d18ac75c1f9@j2g2000yqf.googlegroups.com>
 <86y69d3rec.fsf@gareth.avalon.lan> <ian4b2$p9h$1@tornado.tornevall.net>
 <82lj5c5ecm.fsf@stephe-leake.org> <iapnmm$p5j$1@tornado.tornevall.net>
 <79ed13b7-4c55-40c4-9f66-e30ed94e5591@e14g2000yqe.googlegroups.com>
 <4cd0b0ed$0$6775$9b4e6d93@newsspool3.arcor-online.net>
 <op.vllu5ena0k3wt7@jellix.jlfencey.com> <m2zktqyuk8.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
X-Trace: individual.net fhhV8Eh49jsZwRHsuWB3dAXEq9V7sCzuEAHdjgFS/UwAaxZEhy
Cancel-Lock: sha1:5pt1spB4m9c9PnTkcz0wrMIif7A=
User-Agent: Opera Mail/10.63 (Win32)
Xref: g2news2.google.com comp.lang.ada:16159
Date: 2010-11-03T22:31:53+01:00
List-Id: <comp.lang.ada>

On Wed, 03 Nov 2010 22:19:03 +0100, Simon Wright <simon@pushface.org> wrote:

> "Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de> writes:
>
>> On Wed, 03 Nov 2010 01:46:37 +0100, Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de> wrote:
>>
>>> Please don't mistake this suggestion to be in favor
>>> of separate namespaces for types and other things.
>>
>> Not that this would be a problem:
>>
>>    Weapon_Procedures.Attack (Weapon : Weapon_Types.Weapon);
>
> But why would you want to attack a weapon?
>
> Well, to be fair, that's what point-defence anti-missile systems do, I
> suppose; I definitely had the 'Using' use case in mind, though!

See, if you think hard enough, the name problem is solved:

Attack_With (Weapon : Offensive_Weapon);
Defend_With (Weapon : Defensive_Weapon);

Or maybe the other way around:

Attack_With (Offensive_Weapon : Weapon);
Defend_With (Defensive_Weapon : Weapon);


Vinzent.

-- 
There is no signature.