Re: GNAT or Language Problems?

["Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>]

On 2023-06-17 19:50, Bill Findlay wrote:
> 
> I get, in macOS, with:
> 
>> gcc -c -gnatl12 b_strings_prob.ads
> 
> and the same with with:
> 
>> gnatmake -gnatl2022 b_strings_prob.ads
> 
>> 13 lines: No errors
> 
> Bug in GNAT 13??

Right. This was introduced in GNAT 13. I use the -gnat12 switch, but the error 
occurs regardless.

The only thing I can see in the ARM-12 (and still in the ARM) that might apply 
is 7.4(6/3): "If the deferred constant declaration includes a subtype_indication 
S that defines a constrained subtype, then the constraint defined by the 
subtype_indication in the full declaration shall match the constraint defined by 
S statically.[ On the other hand, if the subtype of the deferred constant is 
unconstrained, then the full declaration is still allowed to impose a 
constraint. The constant itself will be constrained, like all constants;]"

This might apply if the subtype in the deferred declaration, which uses the 
default discriminant, is considered constrained, since the discriminant applied 
from the value supplied for the full declaration is different from the default. 
I'm not sure. This wording (without the brackets) has been in the ARM since 1995.

-- 
Jeff Carter
"I was in love with a beautiful blonde once, dear.
She drove me to drink. That's the one thing I'm
indebted to her for."
Never Give a Sucker an Even Break
109