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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no 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-7-bit Path: g2news1.google.com!news4.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!194.134.4.91.MISMATCH!news2.euro.net!feeder.news-service.com!newsfeed.straub-nv.de!news.musoftware.de!wum.musoftware.de!news.weisnix.org!newsfeed.ision.net!newsfeed2.easynews.net!ision!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: ANN: Ada 2005 Math Extensions, 20100810 release Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <82ocd8m826.fsf@stephe-leake.org> <82sk2ivwa7.fsf@stephe-leake.org> <9b04znr94b2i$.pxsxi24sc9zv.dlg@40tude.net> Date: Sun, 15 Aug 2010 08:14:22 +0200 Message-ID: <1mffa50u8u2xy$.1gvly4gmdy3f5.dlg@40tude.net> NNTP-Posting-Date: 15 Aug 2010 08:14:20 CEST NNTP-Posting-Host: 5c69d21b.newsspool3.arcor-online.net X-Trace: DXC=1fNCXHhC3L>lIh70@[9=gA\Q]THZjX2 X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:13320 Date: 2010-08-15T08:14:20+02:00 List-Id: On Sat, 14 Aug 2010 22:55:05 +0100, Simon Wright wrote: > I found that I could say > > package body Whatever is > > subtype Real is Complex_Arrays.Real_Arrays.Real; Yes you can, but don't. I used this pattern before and ran into problems with this, when in some contexts one Real conflicted with / hid another, so that a compiled generic package could not be instantiated. (Again, no idea if that was a compiler bug or not.) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de