"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.