Re: Discriminant problem

Path	csiph.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	Mon, 30 Aug 2021 09:13:31 +0100
Organization	Aioe.org NNTP Server
Message-ID	<lylf4je4es.fsf@pushface.org> (permalink)
References	<lytuj8dqya.fsf@pushface.org>
Mime-Version	1.0
Content-Type	text/plain
Injection-Info	gioia.aioe.org; logging-data="60201"; 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)
Cancel-Lock	sha1:HUoBy8YujoQwhiqi60PNtFm7Tes=
X-Notice	Filtered by postfilter v. 0.9.2
Xref	csiph.com comp.lang.ada:49362

Show key headers only | View raw

Simon Wright <simon@pushface.org> writes:

> I've only just noticed this: I'd been using -gnatX (so that I could use
> 'Image on records), which meant that the original code was OK (in the
> sense that it didn't raise any problems), but of course it's not
> portable even within the GNAT family. I think -gnat2020 might solve the
> issue too, but there's a bit of a skew between CE 2021 and GCC 11.

The skew might well be about the semantics of -gnatX - not 100% sure.

The only way I can see that -gnat2020 would help would be if
Get_Node_Type_Test was a static expression function[1], but it's not
even an expression function! It could be, though since it involves tag
tests and can 'return' an exception this seems unlikely.

[1] http://www.ada-auth.org/standards/2xaarm/html/AA-4-9.html#p21.1

Back to comp.lang.ada | Previous | Next — Previous in thread | Next 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