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: a07f3367d7,f857f366542cd8aa X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Dispatch on the result still does not work? 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: <4a58dfcf$0$30232$9b4e6d93@newsspool1.arcor-online.net> Date: Sat, 11 Jul 2009 21:40:47 +0200 Message-ID: <1rfyxeircfmy1.19a1j3vqyttbo$.dlg@40tude.net> NNTP-Posting-Date: 11 Jul 2009 21:40:40 CEST NNTP-Posting-Host: 9f57c2e9.newsspool1.arcor-online.net X-Trace: DXC=UZ:7lRMM1L=D]ncZ]`hZ;1ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb9\b@h]d3K4H5DNcfSJ;bb[5IRnRBaCd4Ck120TkmY7i6oNnVWb On Sat, 11 Jul 2009 20:54:05 +0200, Georg Bauhaus wrote: > Dmitry A. Kazakov wrote: >> Considering this one: > >> I would expect it rather dispatching on the tag of X, i.e. selecting Value, >> which returns S. > > Another one, I don't like to call this a solution, > and the running program differs per compiler > used. But both compilers compile the units without errors: [...] I am not sure that it indeed should be resolved. The question is whether there exist or should exist cases where one could indeed dispatch on the result's type. The construct with assignment was admittedly artificial, it was first that came to mind. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de