Re: Elaboration in GNAT

[dewar@gnat.com (Robert Dewar)]

Frode Tenneboe <ft@edh.ericsson.se> wrote in message news:<1010151875.216658@edh3>...
> However, I find the above warning a bit misplaced in my
> case. I would have preferred:
> 
> bar.adb:69:04: warning: instantiation of "Client" may raise Program_Error
> bar.adb:69:04: warning: missing pragma Elaborate_Body in spec


Well perhaps you would have preferred that the compiler
tell you this, but it won't because it is wrong! The use
of a EB pragma in the spec is not an adequate solution
for this case!

> I'm also unsure if this is always true, but > 
> alternatively:

It is not always true

> foo.adb:69:04: warning: instantiation of "Client" may raise Program_Error
> foo.adb:69:04: warning: missing pragma Elaborate_All for "bar" or
> foo.adb:69:04: warning:  missing pragma Elaborate_Body in "bar"


This is getting two separate things mixed up I am afraid.