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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,758f1e01b86b6274 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Export instances of procedures Date: 2000/04/26 Message-ID: <39074D1C.D9E1DFF9@averstar.com>#1/1 X-Deja-AN: 616046294 Content-Transfer-Encoding: 7bit References: <38FCBA00.992AA7A2@maths.unine.ch> <38FD0E08.6C96@li.net> <3905CCCB.C48B9113@maths.unine.ch> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@inmet2.burl.averstar.com X-Trace: inmet2.burl.averstar.com 956779805 2277 141.199.8.164 (26 Apr 2000 20:10:05 GMT) Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 NNTP-Posting-Date: 26 Apr 2000 20:10:05 GMT Newsgroups: comp.lang.ada Date: 2000-04-26T20:10:05+00:00 List-Id: Gautier wrote: > > Vincent Marciante wrote: > > > At this point, Read_8bit_AutoInt(...) requires a completion. > > A subprogram renaming declaration (RM 8.5.4) can act as a completion but > > an instantiation can't. > > Sorry for insisting on this question, but _why_ cannot the instance > be considered as complete ? This was explicitly considered during the Ada 9X design process. The conclusion was that it might create readability problems. An instantiation does not repeat the formal parameter part, so matching a potentially overloaded spec with the appropriate generic instantiation might be difficult for the human reader. I remember there being a rather heated discussion about this issue, but the readability-over-writability philosophy won the day, given the availability of using renaming as a body. > ... > Maybe some wise one knows them or can decipher the Runes ? ;-) You might find a discussion in minutes of some Ada 9X design meeting, if you were able to locate them... > ______________________________________________________ > Gautier -- http://members.xoom.com/gdemont/gsoft.htm -- -Tucker Taft stt@averstar.com http://www.averstar.com/~stt/ Technical Director, Distributed IT Solutions (www.averstar.com/tools) AverStar (formerly Intermetrics, Inc.) Burlington, MA USA