> For some reason, your email is endeing up in a strange format, I almost
> missed the .patch file attached, making the review harder.
Never mind, I was on vacation earlier this month and then busy with a seminar
last week, so I started looking at your ping email before the original email
which
rom a synchronized interface (see RM-7.3(6/2)).
the -> that does not derive...
OK with this change.
> From: Richard Wai
> Sent: Thursday, August 10, 2023 12:55 AM
> To: 'gcc-patches@gcc.gnu.org'
> Cc: 'Eric Botcazou' ; 'Arnaud Charlet'
> ;
From: Richard Wai
Sent: Thursday, August 10, 2023 12:55 AM
To: 'gcc-patches@gcc.gnu.org'
Cc: 'Eric Botcazou' ; 'Arnaud Charlet'
; 'Stephen Baird'
Subject: [PATCH 1/2] Ada: Synchronized private extensions are always limited
GNAT currently conside
GNAT currently considers a synchronized private extension that derives from
an interface to be limited only when said interface is a concurrent
interface. However it is of course legal for a synchronized private
extension to derive from a limited interface. In this case GNAT fails to
correctly dete
