Christoph Grein:
...
> So I made a long pause before I now come back to this. Apology again for
> answering so late. And thank you for your patience.
The one thing you didn't answer is why you were thinking about this case in
the first place. I'm still curious as to what use case led you to thinking
about disappearing discriminants, which seem altogether useless to me.
The usual use of untagged derivation is to stand-in for the missing type
renames, and no one needs to change any discriminants for that. Otherwise,
derivation is pretty useless, especially in pre-Ada 2022 when representation
changes are mostly impossible. So even encountering this feature requires
using a rather useless larger feature.
I have a hard time getting excited about spending hours thinking about and
then arguing about the semantics of something that is never going to occur
in the first place. Thus the original question about actual use as opposed
to a thought experiment.
Randy.
P.S. I sent this on Ada-Comment as the OP is clearly more comfortable here,
and this question is more to satisfy my curiosity than anything about the
actual language issue.
________________________________________________________
You have received this message because you subscribed to the Ada-Comment
mailing list. To leave the Ada-Comment list, send an email with
'leave Ada-Comment' in the body to [email protected]. For help
on the other commands available, send 'help Ada-Comment' to the same address.
Problems? Send mail to [email protected]. This list is operated by the
Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
