Re: pragma Pure (Ada)

[Adam Beneschan <adam@irvine.com>]

On Sep 30, 6:50 pm, Yannick Duchêne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> In “A Brief Introduction to Ada 2012” (a great paper from John Barnes) ->http://www2.adacore.com/wp-content/uploads/2006/03/Ada2012_Rational_I...
>
> On page 12, you may read
>
> > Ada 95 introduced the package Ada thus
> >    package Ada is
> >       pragma Pure(Ada);
> >    end Ada;
> > However, a close reading of the RM revealed that poor Ada
> > is illegal since the pragma Pure is not in one of the allowed
> > places for a pragma.
>
> Does that mean that this was really illegal from strict layers point of  
> view ? So GNAT was hacked ?

It's not fair to say GNAT was hacked.  Everybody knew that this code
was supposed to be legal.  It's just it was illegal according to a
literal reading of the RM rules that nobody noticed until I think I
discovered it while I was trying to look over the rules carefully to
answer a different question.  So the RM rules were clearly worded
wrong and had to be changed.

                           -- Adam