help / color / mirror / Atom feed
From: "Jeffrey R.Carter" <>
Subject: Re: GNAT or Language Problems?
Date: Tue, 27 Jun 2023 12:16:04 +0200	[thread overview]
Message-ID: <u7ect4$1c3gs$> (raw)
In-Reply-To: <u7d0om$137jt$>

On 2023-06-26 23:42, Randy Brukardt wrote:
> B_String is an unconstrained type, which technically has a "null constraint"
> (see 3.2(7/2), rather unfortuate terminology, IMHO(. These always statically
> match, so they're always statically compatible as well.

It's also a limited type, so the discriminant can never be changed, which is why 
I was unsure if the deferred constant was considered constrained.

> So this appears to be a compiler bug. It might be related to the relatively
> new rule that Object_Size must match for static matching to work -- but that
> only applies to non-default Object_Size values (and there are none of those
> given here).

Thanks for looking at this. I'll have to find out how to report an error in FSF 

Jeff Carter
"It has been my great privilege, many years ago,
whilst traveling through the mountains of Paraguay,
to find the Yack'Wee Indians drinking the juice of
the cacti."
The Old Fashioned Way

      reply	other threads:[~2023-06-27 10:16 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-05-30 16:36 GNAT or Language Problems? Jeffrey R.Carter
2023-06-17  7:28 ` Randy Brukardt
2023-06-17  9:21   ` Jeffrey R.Carter
2023-06-17 17:50     ` Bill Findlay
2023-06-17 20:49       ` Jeffrey R.Carter
2023-06-22  9:51     ` Randy Brukardt
2023-06-22 12:56       ` Jeffrey R.Carter
2023-06-23  9:55         ` Randy Brukardt
2023-06-24 12:23           ` Jeffrey R.Carter
2023-06-26 21:42             ` Randy Brukardt
2023-06-27 10:16               ` Jeffrey R.Carter [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox