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,f428ff2031155951 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Equivalent of dynamic_cast (downcast) for tagged types Date: Fri, 28 Jan 2011 12:47:49 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <375fb596-ab12-4cb0-a190-53d62b94b2e4@e9g2000vbi.googlegroups.com> <510d779c-d15b-4fc1-b831-bfc578ecdb4b@z3g2000prz.googlegroups.com> <0dec16be-da2b-4b9e-afb8-285e8e6d8acb@g19g2000yqi.googlegroups.com> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls6.std.com 1296236869 26477 192.74.137.71 (28 Jan 2011 17:47:49 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 28 Jan 2011 17:47:49 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:15dMLCR9KNlpb8bkr9fHSecDhxs= Xref: g2news2.google.com comp.lang.ada:17749 Date: 2011-01-28T12:47:49-05:00 List-Id: Maciej Sobczak writes: > If anybody from AdaCore is reading this, please take the above as a > hint, I believe these observations are enough to show the proper > direction. Sorry, but AdaCore does not take bug reports from comp.lang.ada. AdaCore does accept bug reports from the general public, and fixes them eventually (if they turn out to be real bugs, which is often not the case!), but of course this work has lower priority than work for paying customers. There seems to be a fairly easy workaround in your case: Don't declare an Adjust procedure on limited controlled types. (I didn't read your bugzilla report; I'm just going by what you said in this thread.) - Bob