comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: ANN: GCC 10.1.0 for macOS
Date: Sat, 16 May 2020 18:27:48 +0100
Date: 2020-05-16T18:27:48+01:00	[thread overview]
Message-ID: <ly7dxbaiy3.fsf@pushface.org> (raw)
In-Reply-To: 0001HW.24703A76026BCAD0700008FE338F@news.individual.net

Bill Findlay <findlaybill@blueyonder.co.uk> writes:

> This compiles with GNAT CE 2019.
> Looking at it again, I wonder whether predicates *are* allowed for constants?

3.3.2(2) doesn't allow aspect specifications on named numbers.

I poked around a bit and got "predicate can only be specified for a
subtype"

> Apart from that, and some new warnings about fields being named in
> a different order between a record declaration and its rep. spec.,
> my ~25K SLOC KDF9 emulator compiles and passes its regression tests.

Good news!

  reply	other threads:[~2020-05-16 17:27 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-16 12:47 ANN: GCC 10.1.0 for macOS Simon Wright
2020-05-16 15:12 ` Bill Findlay
2020-05-16 17:27   ` Simon Wright [this message]
2020-12-04  9:31 ` Vincent DIEMUNSCH
2020-12-04 14:14   ` Simon Wright
2020-12-04 14:25     ` Luke A. Guest
2020-12-04 14:41       ` Simon Wright
replies disabled

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