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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d1c2be706bbed0a5 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!newsgate.cistron.nl!xs4all!newsfeed.bit.nl!213.239.142.2.MISMATCH!feed.xsnews.nl!border-1.ams.xsnews.nl!border1.nntp.ams.giganews.com!nntp.giganews.com!proxad.net!feeder2-2.proxad.net!cleanfeed1-b.proxad.net!nnrp16-1.free.fr!not-for-mail Return-Path: X-Virus-Scanned: amavisd-new at ada-france.org Date: Wed, 25 Jul 2007 08:43:36 +0200 From: "Grein, Christoph (Fa. ESG)" Subject: AW: Recursive parameters in generics In-reply-to: <1185292839.391337.258620@e16g2000pri.googlegroups.com> To: comp.lang.ada@ada-france.org MIME-version: 1.0 X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.3790.1830 Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT Content-class: urn:content-classes:message Importance: normal Priority: normal Thread-topic: Recursive parameters in generics Thread-index: AcfODRopXJ21ppUmSmaQ9sSEbLa/wgAeMUMw X-MS-Has-Attach: X-MS-TNEF-Correlator: X-OriginalArrivalTime: 25 Jul 2007 06:44:36.0145 (UTC) FILETIME=[44148210:01C7CE87] X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.9rc1 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.ada Message-ID: X-Leafnode-NNTP-Posting-Host: 88.191.17.134 Organization: Guest of ProXad - France NNTP-Posting-Date: 25 Jul 2007 08:45:03 MEST NNTP-Posting-Host: 88.191.14.223 X-Trace: 1185345903 news-4.free.fr 10122 88.191.14.223:46607 X-Complaints-To: abuse@proxad.net Xref: g2news2.google.com comp.lang.ada:1150 Date: 2007-07-25T08:45:03+02:00 Adam wrote a fair exegesis: > The second formal parameter is "with package This_A is new A (S => > S)"; This matches My_A as long as the S parameter of This_A and My_A > match... So the question now is whether My_A.S_Of and "whatever" > statically denote the same constant, or are static expressions with the > same value (see 12.7(6)). > ... > To summarize my conclusions: (1) Your example *should* be legal, ... I'm not so sure since generic parameters are never static. The actual could be an expression like S => Function_Call & Another_Non_Static; But then the puzzle remains why the version with Integer replacing String is legal. S_Of is never static as far as I can see. Eurocopter Deutschland GmbH Sitz der Gesellschaft/Registered Office: Donauwoerth Registergericht/Registration Court: Amtsgericht Augsburg HRB 16508 Vorsitzender des Aufsichtsrates/Chairman of the Supervisory Board: Dr. Lutz Bertling Geschaeftsfuehrung/Board of Management: Dr. Wolfgang Schoder, Vorsitzender/CEO; Friedrich-Wilhelm Hormel; Ralf Barnscheidt CONFIDENTIALITY NOTICE This communication and the information it contains is intended for the addressee(s) named above and for no other persons or organizations. It is confidential and may be legally privileged and protected by law. The unauthorized use, copying or disclosure of this communication or any part of it is prohibited and may be unlawful. If you have received this communication in error, kindly notify us by return e-mail and discard and/or delete the communication. Thank you very much. It is possible for e-mails to be intercepted or affected by viruses. Whilst we maintain virus checks on our e-mails, we accept no liability for viruses or other material which might be introduced with this message.