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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ab1d177a5a26577d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.38.38 with SMTP id d6mr10536550pbk.4.1317797109546;
        Tue, 04 Oct 2011 23:45:09 -0700 (PDT)
Path: 
 lh7ni11917pbb.0!nntp.google.com!news1.google.com!goblin2!goblin.stu.neva.ru!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: What's wrong with C++?
Date: Tue, 04 Oct 2011 23:45:06 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <j6h2b1$7ag$1@tornado.tornevall.net>
References: 
 <1ee1a434-4048-48f6-9f5e-d8126bebb808@r19g2000prm.googlegroups.com>
 <op.v2uhj3r7ule2fv@index.ici> <op.v2uhyugyule2fv@index.ici>
 <EeadnV_UDMIFJRbT4p2dnAA@giganews.com> <op.v2uwgkj6ule2fv@index.ici>
 <9f27b2FsgsU1@mid.individual.net> <op.v2u8hzeyule2fv@index.ici>
NNTP-Posting-Host: ec381129f03bf800e46fc6173ab64c80
Mime-Version: 1.0
X-Trace: 7b074ce78f353b75662bd5fd79685518
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.23) Gecko/20110922 Thunderbird/3.1.15
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <op.v2u8hzeyule2fv@index.ici>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=7b074ce78f353b75662bd5fd79685518
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: news1.google.com comp.lang.ada:18309
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Date: 2011-10-04T23:45:06-07:00
List-Id: <comp.lang.ada>

On 10/04/2011 11:33 PM, Yannick Duchêne (Hibou57) wrote:
> I am not aware enough of the techniques used there, and not a compiler
> implementor, but I guess this is a divide-and-conquer strategy. I suppose this
> end to be solving a graph route problem, not a Turing complete language
> interpretation.

I think Duff has some ideas about elaboration, which he posted here a few years 
ago. His proposal, IIRC, is that elaboration dependencies form a partially 
ordered acyclic directed graph. At some points there are groups of units which 
may be elaborated in any order. He proposes imposing an arbitrary ordering 
within those groups, such that the whole thing becomes fully ordered and defines 
a correct elaboration order. He suggested using the lexical order of the unit 
names as the arbitrary ordering.

-- 
Jeff Carter
"I was hobbling along, minding my own business, all of a
sudden, up he comes, cures me! One minute I'm a leper with
a trade, next minute my livelihood's gone! Not so much as a
'by your leave!' You're cured, mate. Bloody do-gooder!"
Monty Python's Life of Brian
76