Re: Export instances of procedures

["Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1079 bytes --]


Pascal Obry <p.obry@wanadoo.fr> 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