标签： syntax abstract ada
我试图在继承树中定义一些抽象标记类型，并且无法弄清楚神奇的语法组合。
我想要......
type A is abstract tagged private; type B is abstract new A with private; -- I can't get this one right...
谢谢，