From: Bill Findlay <findlaybill@blueyonder.co.uk>
Subject: Re: GNAT or Language Problems?
Date: Sat, 17 Jun 2023 18:50:20 +0100 [thread overview]
Message-ID: <0001HW.2A3E29DC00595EA070000B60138F@news.individual.net> (raw)
In-Reply-To: u6jtue$16d9e$1@dont-email.me
On 17 Jun 2023, Jeffrey R.Carter wrote
(in article <u6jtue$16d9e$1@dont-email.me>):
> On 2023-06-17 09:28, Randy Brukardt wrote:
> > Regarding your second problem, refer to AI22-0041-1.
> >
> > Essentially, there are problems if predicates are involved. We changed the
> > rule to require static compatibility (as a Binding Interpretation). I don't
> > have the energy to look up what "static compatibility" requires in this case
> > (enjoy figuring out 4.9.1). In some cases, it requires static matching, in
> > others, it has weaker requirements.
>
> There are no predicates involved. One can cut it down to just the type and
> constant:
I get, in macOS, with:
> gcc -c -gnatl12 b_strings_prob.ads
and the same with with:
> gnatmake -gnatl2022 b_strings_prob.ads
> GNAT 12.2.0
> Copyright 1992-2022, Free Software Foundation, Inc.
> Compiling: b_strings_prob.ads
> Source file time stamp: 2023-06-17 17:38:32
> Compiled at: 2023-06-17 18:38:38
> 1. package B_Strings_Prob is
> 2. type B_String (Max_Length : Positive := 1_000) is taggedlimited private;
> 3.
> 4. Null_B_String : constant B_String; -- A string of zero characters
> 5. private -- B_Strings_Prob
> 6. type B_String (Max_Length : Positive := 1_000) is tagged limited record
> 7. Len : Natural := 0;
> 8. Value : String (1 .. Max_Length) := (1 .. Max_Length => ' ');
> 9. end record;
> 10.
> 11. Null_B_String : constant B_String := (Max_Length => 1, others => <>);
> 12. end B_Strings_Prob;
> 13.
> 13 lines: No errors
Bug in GNAT 13??
--
Bill Findlay
next prev parent reply other threads:[~2023-06-17 17:50 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox