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,e859f774bbb3dfb3
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder3.cambrium.nl!feed.tweaknews.nl!195.96.0.7.MISMATCH!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 25 Jun 2008 01:42:08 +0200
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Reply-To: rm.tsoh+bauhaus@maps.futureapps.de
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: another way to shoot yourself in the foot?
References: 
 <54157920-377a-441b-9b0b-f0c4f9ddffec@f36g2000hsa.googlegroups.com>
	<54435596-5e7f-4686-a2b7-1e22d7c4b186@p25g2000hsf.googlegroups.com>
	<wccr6arzz3c.fsf@shell01.TheWorld.com>	<HaX6k.217614$yE1.198719@attbi_s21>
	<483ugmvkl2ea.1hrqsq7ru4t1x$.dlg@40tude.net>
	<wcck5ghtd2f.fsf@shell01.TheWorld.com>
	<12dhu8e1w5ac9.1s9hzkf9d2rsy$.dlg@40tude.net>
	<21d80cc3-a3fb-49f5-a46e-6056bbef2ba7@y21g2000hsf.googlegroups.com>
	<1lbujyle8itjn$.vffs9far1ob9.dlg@40tude.net>
	<wcchcbisqi1.fsf@shell01.TheWorld.com>	<mJb8k.169946$TT4.122323@attbi_s22>
	<wcc7icer2vw.fsf@shell01.TheWorld.com> <87abhablrx.fsf@ludovic-brenta.org>
In-Reply-To: <87abhablrx.fsf@ludovic-brenta.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <48618652$0$6615$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 25 Jun 2008 01:42:10 CEST
NNTP-Posting-Host: b173213c.newsspool2.arcor-online.net
X-Trace: 
 DXC=ah8iZ6TiYdQV;Ef1`Jk54\A9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[nDOROYlK6_PPCY\c7>ejVXo7<aZFXYmJXF5V5AEUbnDX
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:862
Date: 2008-06-25T01:42:10+02:00
List-Id: <comp.lang.ada>

Ludovic Brenta wrote:
> Robert A Duff writes:

> 
>>     if F(...).Flag then ...
>>
>> The last one is pretty silly -- it creates a new limited object,
>> grabs a boolean flag out of it, and then throws the whole thing
>> away.
> 
> Yes but "grabbing a boolean flag" might consist in passing the limited
> object as a parameter to a primitive function named Flag, which might
> then pass it down to any number of subprograms with all sorts of side
> effects.  One could write an arbitrarily large program like this :)

A simple one crossed my mind immediately,

   if Earth(...).Result = 42 then ...