From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>
Newsgroups: comp.lang.ada
Subject: Re: GNAT or Language Problems?
Date: Tue, 27 Jun 2023 12:16:04 +0200
Organization: A noiseless patient Spider
Message-ID: <u7ect4$1c3gs$1@dont-email.me>
References: <u558m9$1ub3o$1@dont-email.me> <u6jnbi$15r2k$1@dont-email.me>
 <u6jtue$16d9e$1@dont-email.me> <u715id$38rs5$1@dont-email.me>
 <u71gea$38ekv$1@dont-email.me> <u73q5r$3mmom$1@dont-email.me>
 <u76n8o$3873$1@dont-email.me> <u7d0om$137jt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 27 Jun 2023 10:16:04 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="b333252710fa1f073295e97d94cd7fcc";
	logging-data="1445404"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19wfbPFvWIqlOus02cV/VKVS8bLM9tUBm4="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.0
Cancel-Lock: sha1:9in3zie32sd6mIJ3qt7o35B5deU=
In-Reply-To: <u7d0om$137jt$1@dont-email.me>
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:65355
List-Id: <comp.lang.ada>

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 
GNAT.

-- 
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
152