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.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!goblin3!goblin1!goblin2!goblin.stu.neva.ru!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Augusta: An open source Ada 2012 compiler (someday?)
Date: Thu, 20 Mar 2014 18:15:30 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lgfsqj$g8i$1@loke.gir.dk>
References: <zpudnYzhb9cIB7TO4p2dnAA@giganews.com>
 <1f0a85a6-ea4d-4d30-8537-0ce9063f992a@googlegroups.com>
 <lgeh3m$gqq$1@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: loke.gir.dk 1395357331 16658 69.95.181.76 (20 Mar 2014 23:15:31 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 20 Mar 2014 23:15:31 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
X-Original-Bytes: 2427
Xref: number.nntp.dca.giganews.com comp.lang.ada:185251
Date: 2014-03-20T18:15:30-05:00
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> wrote in message 
news:lgeh3m$gqq$1@dont-email.me...
> Le 20/03/2014 11:23, Lucretia a écrit :
>>> I am not as naive as I probably sound. I fully understand that such a
>>> > project is massive and not likely to actually ever be completed.
>> As long as you don't expect all the annexes, I don't see why not.
>>
> All those who have been involved in an Ada compiler will tell you that
> it is a lot more difficult than it appears, unless you stick to the
> Pascal subset and don't care for validation.
>
> In the early days of Ada, we have seen compilers announcing proudly that
> they passed 95% of the validation and that delivery was expected in a
> few weeks - they never succeeded to pass the remaining 5%.
>
> For example, and as a test, make sure you are able to understand the
> implications of 4.3.3 (a nightmare for code generation), or 13.14, or
> 3.10.2(3/2)...

Heck, we (the ARG) aren't quite sure how you implement accessibility checks 
for Ada 2005 and Ada 2012 (see AI12-0016-1 for some thinking); you could 
waste a lot of time trying to figure that out. And like J-P says, a 95% 
solution isn't good for much -- the real solution is 95% different. :-)

It's for good reason that 3.10.2 is informally named "The Heart of 
Darkness"! ;-)

                              Randy.