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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5c1125c290d9dd14 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!feeder.news-service.com!news.mixmin.net!aioe.org!not-for-mail From: =?iso-8859-15?Q?Yannick_Duch=EAne_=28Hibou57=29?= Newsgroups: comp.lang.ada Subject: Re: ANN: Ada 2005 Math Extensions, 20100810 release Date: Fri, 13 Aug 2010 15:31:30 +0200 Organization: Ada At Home Message-ID: References: <15e1x67lls1pe$.sqnhbm59hwdz$.dlg@40tude.net> NNTP-Posting-Host: M2yP1Cx/h9YxW/Ct5b534Q.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.60 (Win32) Xref: g2news1.google.com comp.lang.ada:13213 Date: 2010-08-13T15:31:30+02:00 List-Id: Le Fri, 13 Aug 2010 08:27:52 +0200, Dmitry A. Kazakov = a =E9crit: >> In other places I've tacked _G on the end of the 'obvious' name: >> >> generic >> package ColdFrame.Events_G.Standard_G.Callback_Manager_G is >> >> and I saw someone else (Ludovic?) doing the same here recently. > > I used plural suffix 's' before, but it Generic is clearer and it seem= s > like a semi-standard now. You mean the _G suffis became a somewhat de-facto standard ? > Yes, especially because of two "Extensions". I had immense problems wi= th > names. Look at this: > > http://www.dmitry-kazakov.de/ada/fuzzy_packages.gif Will have to look at it again, as I did not really understand this one. > Another rule of thumb (I don't know if this is going to be fixed in Ad= a > 2012), is that a child should always rename formal generic arguments i= n = > its > specifications. Under certain circumstances, usually in children, they= > might become unavailable. I mean this: > > generic > with package P is new Generic_P (<>); > package Generic_S is > package P_Of renames P; -- You will need this! > > Sometimes you need to "rename" formal types as well: > > generic > type Foo is ... > package Generic_S is > subtype Foo_Of is Foo; -- What a mess! We already talked about these cases. Do you remember the thread's title = ? = (I would like to get it back to read it again). -- = 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.