From: Jean-Claude Rostaing <00120260a@gmail.com>
Subject: Re: changing rules for anonymous access types to named ones
Date: Tue, 3 Apr 2018 04:29:28 -0700 (PDT)
Date: 2018-04-03T04:29:28-07:00 [thread overview]
Message-ID: <8611490c-13be-41fe-a5ef-9403bb196bbf@googlegroups.com> (raw)
In-Reply-To: <p9ven5$10kk$1@gioia.aioe.org>
> type My_Custom_Integer is new Integer'Interface with record
> -- Whatever I see appropriate to represent integer
> end record;
> -- overriding all operations, since they are inherited abstract
If you want a view conversion INTEGER(any_type_inheriting_INTEGER'Interface) to works, you should also inheriting also all attributes of Integer, or of any numeric type which providing the interface ?
But I suppose your model could work if you were to limit 'Interface to tagged types, records tasks and protected types.
next prev parent reply other threads:[~2018-04-03 11:29 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-02 16:39 changing rules for anonymous access types to named ones Jean-Claude Rostaing
2018-04-02 18:04 ` Jere
2018-04-02 21:09 ` Jean-Claude Rostaing
2018-04-03 8:41 ` Dmitry A. Kazakov
2018-04-03 11:29 ` Jean-Claude Rostaing [this message]
2018-04-03 12:44 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox