From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_00,INVALID_MSGID, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,758f1e01b86b6274 X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Export instances of procedures Date: 2000/04/19 Message-ID: <8dkjcq$skf$1@wanadoo.fr>#1/1 X-Deja-AN: 613171315 References: <38FCBA00.992AA7A2@maths.unine.ch> <8djpm3$qef$2@wanadoo.fr> <8djth8$du2$1@wanadoo.fr> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2014.211 X-Complaints-To: abuse@wanadoo.fr X-Trace: wanadoo.fr 956158170 29327 193.250.32.19 (19 Apr 2000 15:29:30 GMT) Organization: Adalog X-MSMail-Priority: Normal NNTP-Posting-Date: 19 Apr 2000 15:29:30 GMT Newsgroups: comp.lang.ada Date: 2000-04-19T15:29:30+00:00 List-Id: 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