Randy,
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.
You're right, this is more of an academic discussion. After retirement, I held some basic Ada programming courses in German, which I finally made public (in very extended form because for self study, there is no time limit like in a payed course constrained to a few days) at Ada Germany web site.
I'm now working on a future public course about OOP, and I sought an application for untagged discriminated types. I myself do not find the Coaches example very convincing. But the RM requirements are not convincing either :-(
I'll continue the discussion on GitHub. Christoph ________________________________________________________ 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.
