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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,b1264e586250f470 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-11 14:26:21 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newspump.monmouth.com!newspeer.monmouth.com!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Elaboration of nested generic package. Date: 11 Jul 2003 17:26:18 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <5437fafb.0307071905.5d3bbc4e@posting.google.com> <1ec946d1.0307080946.7e61cda9@posting.google.com> <5437fafb.0307091710.5cb4b0eb@posting.google.com> <3F0CC2D1.10904@attbi.com> <3F0CF0AE.5030409@attbi.com> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: pcls4.std.com 1057958778 2335 199.172.62.241 (11 Jul 2003 21:26:18 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 11 Jul 2003 21:26:18 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.ada:40208 Date: 2003-07-11T17:26:18-04:00 List-Id: "Jean-Pierre Rosen" writes: > "Robert I. Eachus" a �crit dans le message de news:3F0CF0AE.5030409@attbi.com... > > Oops! Silly me! We fixed that one, the pragma is now necessary if you > > intend to provide a body, if the body is not otherwise required. (Why > > would you want to do that? I don't know. But there is a way to do it > > if necessary.) > > A package that declares only tasks in the body comes to mind.... Yes. Also, another case comes to mind: you want to declare a type extension in a package body, where the package spec is totally empty. The Initialize operation might register objects of the type into some global data structure. Nobody calls the operations of this type directly, but only via dispatching. - Bob