From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: GNAT CE 2020 : error when using anon access to subprogram inside protected !?
Date: Wed, 3 Jun 2020 11:54:27 +0200
Date: 2020-06-03T11:54:27+02:00 [thread overview]
Message-ID: <rb7s0k$r3n$1@dont-email.me> (raw)
In-Reply-To: <lyo8q03bbn.fsf@pushface.org>
Le 03/06/2020 à 08:36, Simon Wright a écrit :
> 9.4(8) allows this. It's always been a gripe of mine that you can't
> declare objects (let alone types!) inside a PO's body.
Dispite a PO looking like a task or package, it is fundamentally a data
structure, with operations attached. Our beloved separation of
specification and body means that as soon as you have seen a PO's
specification, you must be able to allocate its space => you cannot have
data in the body. QED.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2020-06-03 9:54 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-02 9:46 GNAT CE 2020 : error when using anon access to subprogram inside protected !? Jérôme Haguet
2020-06-02 12:04 ` Simon Wright
2020-06-03 6:36 ` Simon Wright
2020-06-03 9:54 ` J-P. Rosen [this message]
2020-06-02 13:51 ` J-P. Rosen
2020-06-02 14:37 ` Simon Wright
2020-06-02 14:55 ` Dmitry A. Kazakov
2020-06-02 18:02 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox