Re: Dynamically tagged expression not allowed. Why?

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

Le Thu, 03 Jun 2010 09:57:33 +0200, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> You cannot have bodies in the package specifications. This is a difficult
> problem, since present construction model does not support deferred
> initialization. In short, you cannot have this in a single package.
OK. I had though the example was an exact extract from the real thing.

So indeed, if the variable is to be in a spec, it needs two packages, one  
containing the function, and one containing the variable, so that one  
package -- the one containing the function -- can be elaborated before the  
other -- containing the variable. A child package would be a good choice  
to hold that variable.


-- 
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.