Re: Elaboration_check For Instantiations

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Charles said

<<     One of the compilers that I thought accepted this construct actu-
ally disallows it, but in a non-standard manner.  (This is a very highly
respected Ada 83 compiler.)  It compiles that entire package, specifica-
tion and body, with no warnings.  No "Execution of this construct will
cause Program_error to be raised."  However, when you try to link the
programs, you're told that the specification is obsolete.  In other
words, the spec compiles o. k., but compiling the body obsoletes the
spec.  Of course, recompiling the spec will obsolete the body, etc.
>>

This is non-conforming behavior. It should be reported as a bug if the
vendor is still supporting the compiler. There is nothing illegal about
this construct (the warning that GNAT gives is of course just that, a 
warning).

This program *must* execute, and *must* raise Program_Error.