Re: Discriminants of tagged types

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 27 Paź, 15:44, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:

> I believe Ada 2012 will allow defaults for LIMITED
> tagged types, and I think (not sure) it's already
> implemented in GNAT under -gnat2012 mode.  The limited case
> is easy

And is actually what I need, as non-limited tagged types are nonsense
anyway.

In the mean time I have solved the problem by realizing that
"taggedness" need not be public - in my case the type was tagged,
because it was controlled (hate to repeat it, but the interaction
between these two unrelated language features is really annoying).
I don't have to expose the controlled nature of the type in the public
view and moved the "tagged" keyword to private part.
Interestingly, this allowed me to use default values for discriminants
*and* have the controlled type.

(and this also shows that your explanation for why it cannot work is
shaky ;-) )

(except that now the "distinguished receiver" notation is gone...)

--
Maciej Sobczak * http://www.inspirel.com