From: "Alex R. Mosteo" <devnull@mailinator.com>
Subject: Re: Elaboration worries
Date: Thu, 22 Jun 2006 18:25:15 +0200
Date: 2006-06-22T18:25:15+02:00 [thread overview]
Message-ID: <4fvugfF1klqjfU1@individual.net> (raw)
In-Reply-To: 4fva3aF1lff5cU1@individual.net
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
next prev parent reply other threads:[~2006-06-22 16:25 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-06-21 12:33 Elaboration worries Alex R. Mosteo
2006-06-21 18:01 ` Samuel Tardieu
2006-06-21 20:34 ` Randy Brukardt
2006-06-21 23:07 ` Samuel Tardieu
2006-06-22 23:06 ` Randy Brukardt
2006-06-23 18:42 ` Samuel Tardieu
2006-06-23 19:54 ` Randy Brukardt
2006-06-21 23:12 ` Robert A Duff
2006-06-22 23:09 ` Randy Brukardt
2006-06-21 23:07 ` Robert A Duff
2006-06-22 2:24 ` Matthew Heaney
2006-06-22 10:36 ` Alex R. Mosteo
2006-06-22 16:25 ` Alex R. Mosteo [this message]
2006-06-22 23:31 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox