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-Thread: 103376,5c1125c290d9dd14 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!news.linkpendium.com!news.linkpendium.com!teleglobe.net!newsgate.cuhk.edu.hk!news.netfront.net!not-for-mail From: Jeffrey Carter Newsgroups: comp.lang.ada Subject: Re: ANN: Ada 2005 Math Extensions, 20100810 release Date: Sat, 14 Aug 2010 19:27:47 -0700 Organization: Netfront http://www.netfront.net/ Message-ID: References: <15e1x67lls1pe$.sqnhbm59hwdz$.dlg@40tude.net> <1bldu3ohbyo31.1sua9ji5uysyy$.dlg@40tude.net> <4c672c0e$0$6760$9b4e6d93@newsspool3.arcor-online.net> NNTP-Posting-Host: 69.97.117.90 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: adenine.netfront.net 1281839270 9930 69.97.117.90 (15 Aug 2010 02:27:50 GMT) X-Complaints-To: news@netfront.net NNTP-Posting-Date: Sun, 15 Aug 2010 02:27:50 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.11) Gecko/20100713 Thunderbird/3.0.6 In-Reply-To: <4c672c0e$0$6760$9b4e6d93@newsspool3.arcor-online.net> Xref: g2news1.google.com comp.lang.ada:13317 Date: 2010-08-14T19:27:47-07:00 List-Id: On 08/14/2010 04:51 PM, Georg Bauhaus wrote: > generic > type Fur is private; > package Mechanical_Dog is > --subtype Fur_Of is Fur; -- eastern pidgin? > subtype Its_Fur is Fur; > subtype Dogs_Fur is Fur; > subtypeFormal_Fur is Fur; > subtype Actual_Fur is Fur; > subtype Fur_Type is Fur; > subtype Generic_Fur is Fur; The PragmAda Reusable Components have generic -- PragmARC.Math.Functions type Supplied_Real is digits <>; package PragmARC.Math.Functions is pragma Pure; subtype Real is Supplied_Real'Base; This is a different case (naming the base type to use for subprogram parameters, to eliminate any constraints on the actual for Supplied_Real), but may suggest something useful to someone. -- Jeff Carter "To Err is human, to really screw up, you need C++!" St�phane Richard 63 --- news://freenews.netfront.net/ - complaints: news@netfront.net ---