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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,23dabf88feae3dba
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Re: Elaboration worries
Date: Thu, 22 Jun 2006 18:25:15 +0200
Message-ID: <4fvugfF1klqjfU1@individual.net>
References: <4fssh9F1ena5jU1@individual.net> <4fva3aF1lff5cU1@individual.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: individual.net En58molMsQ4M5wnztmCMCwwUKn7AKwRs94pqH2YG13oaQv2nE=
User-Agent: KNode/0.10.2
Xref: g2news2.google.com comp.lang.ada:4902
Date: 2006-06-22T18:25:15+02:00
List-Id: <comp.lang.ada>

Alex R. Mosteo wrote:

> Alex R. Mosteo wrote:
> 
>> Hello,
>> 
>> I'm revisiting this topic in hope of enlightenment by someone that really
>> understand the dark magic behind elaboration. I've read the relevant
>> sections of the ARM but I can just grasp a more-or-less depth
>> understanding, of which details fade away with time.
> 
> Many thanks for all the clarifications and comments, they're really useful
> to me and will be of great aid when reading the RM again.
> 
> I'm also interested in the "cheating" for I/O, since this seems really a
> weak spot. Any other cheats besides the one mentioned by Mr.Duff?

For the record, I've found this link a interesting read in relation with
this topic:

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00366.TXT?rev=1.19