From: Simon Wright <simon@pushface.org>
Subject: Re: questions on RM's section of subprograms and dispatching
Date: Fri, 23 Feb 2018 20:43:12 +0000
Date: 2018-02-23T20:43:12+00:00 [thread overview]
Message-ID: <lyr2pbjv33.fsf@pushface.org> (raw)
In-Reply-To: cc8cc793-2385-456f-b944-e70847c0c3da@googlegroups.com
Mehdi Saada <00120260a@gmail.com> writes:
> tagged types with abstract primitives must be abstract, and can have
> only abstract primitives
This isn't true; abstract types can have concrete primitives.
See e.g. BC.Containers.Collections
https://sourceforge.net/p/booch95/code/ci/default/tree/src/bc-containers-collections.ads
next prev parent reply other threads:[~2018-02-23 20:43 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-23 20:22 questions on RM's section of subprograms and dispatching Mehdi Saada
2018-02-23 20:43 ` Simon Wright [this message]
2018-02-23 20:53 ` Mehdi Saada
2018-02-23 20:59 ` Mehdi Saada
2018-02-23 21:55 ` Mehdi Saada
2018-02-23 20:57 ` 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