Re: Discriminant problem

Path	csiph.com!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!news.uzoreto.com!aioe.org!RKN7TKnHC01q0gdg6EhkbQ.user.46.165.242.75.POSTED!not-for-mail
From	Simon Wright <simon@pushface.org>
Newsgroups	comp.lang.ada
Subject	Re: Discriminant problem
Date	Thu, 09 Sep 2021 20:51:39 +0100
Organization	Aioe.org NNTP Server
Message-ID	<lyilz9bk8k.fsf@pushface.org> (permalink)
References	<lytuj8dqya.fsf@pushface.org> <sgjkj4$kn4$1@dont-email.me> <sgk236$drg$1@franka.jacob-sparre.dk>
Mime-Version	1.0
Content-Type	text/plain
Injection-Info	gioia.aioe.org; logging-data="4500"; posting-host="RKN7TKnHC01q0gdg6EhkbQ.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent	Gnus/5.13 (Gnus v5.13) Emacs/27.2 (darwin)
X-Notice	Filtered by postfilter v. 0.9.2
Cancel-Lock	sha1:3D1MbS2J64xcvH63Pgtn/PFoS0I=
Xref	csiph.com comp.lang.ada:49464

Show key headers only | View raw

"Randy Brukardt" <randy@rrsoftware.com> writes:

> "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> wrote in message 
> news:sgjkj4$kn4$1@dont-email.me...
>> On 8/29/21 8:51 PM, Simon Wright wrote:
>>>
>>> the compiler says
>>>
>>>     value for discriminant "Node_Test" must be static
>>>     non-static function call (RM 4.9(6,18))
>>
>> This has always been the rule for aggregates.
>
> But Ada 202x relaxes it slightly. If the expression has a static
> nominal subtype, and every value in the subtype selects the same
> variant, then a dynamic discriminant is allowed in a aggregate. I
> don't know if that is what is happening here or not; this relaxation
> doesn't come up that often.

That's exactly what's happening here.

Back to comp.lang.ada | Previous | Next — Previous in thread | Find similar

Thread

Discriminant problem Simon Wright <simon@pushface.org> - 2021-08-29 19:51 +0100
  Re: Discriminant problem Simon Wright <simon@pushface.org> - 2021-08-30 09:13 +0100
  Re: Discriminant problem "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> - 2021-08-31 00:03 +0200
    Re: Discriminant problem "Randy Brukardt" <randy@rrsoftware.com> - 2021-08-30 20:53 -0500
      Re: Discriminant problem Simon Wright <simon@pushface.org> - 2021-09-09 20:51 +0100

csiph-web