pragma Pure (Ada)

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

In “A Brief Introduction to Ada 2012” (a great paper from John Barnes) ->
http://www2.adacore.com/wp-content/uploads/2006/03/Ada2012_Rational_Introducion.pdf

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 ?

Notice how John Barnes was pleasantly teasing with the wording, as he  
wrote “poor Ada is illegal” instead of “Pure(Ada) is illegal” :-D


-- 
“Syntactic sugar causes cancer of the semi-colons.”  [Epigrams on  
Programming — Alan J. — P. Yale University]
“Structured Programming supports the law of the excluded muddle.” [Idem]
Java: Write once, Never revisit