Pascal Obry
a �crit dans le message :
8djth8$du2$1@wanadoo.fr...
>
> Jean-Pierre Rosen a �crit dans le message <8djpm3$qef$2@wanadoo.fr>...
> >An instantiation is both a spec AND a body. Just remove the explicit
spec,
> >and it will work.
>
>
> This is not possible in his example. The spec is in a package spec (to
> be exported) and he wants the body to be an instance of a generic (all
> this defined in a package body).
>
??? You can instantiate anything in a package spec. And yes, it will have
the effect of putting a body inside a spec. For example, try to instantiate
in a spec a generic package whose body has statements, like Put_Line; the
body will be executed when it is elaborated, i.e. from the middle of the
specification.
When you are a user, you can think that a spec cannot contain a body; those
who have approached a compiler would not make such a statement ;-)
--
---------------------------------------------------------
J-P. Rosen (Rosen.Adalog@wanadoo.fr)
Visit Adalog's web site at http://pro.wanadoo.fr/adalog