Re: Child vs nested package : efficiency matter

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

Le Tue, 01 Jun 2010 20:35:02 +0200, Adam Beneschan <adam@irvine.com> a  
écrit:
> Something else that occurred to me: In the process of turning the
> nested packages into child packages, were there any global variables
> declared in the body of the parent package that you had to move to the
> spec (probably the private part) so that they would be visible to the
> child packages?
No Adam, there was not. There were global variables, but just globals in  
child packages, not in parent package.

I've just found : pragma Inline is not automatically applied, it requires  
the -gnatn option Brian talked about. I though this was automatically done  
when the -O option is present (I rarely use inline, so I was not aware of  
that).

Anyway, I'm interested in your experience: what did occurred to you with  
global variables ?

-- 
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
--  i.e. forget about previous premises which leads to conclusion
--  and start with new conclusion as premise.