Syntax Ada抽象类型定义

我试图在继承树中定义一些抽象标记类型，但无法完全理解神奇的语法组合

我想要

type A is abstract tagged private;

type B is abstract new A with private; -- I can't get this one right...

---

谢谢，

您的代码语法正确，有什么错误？另外，编译器版本？谢谢您确认它是正确的。我尝试了许多组合，似乎我最终找到了正确的版本。。。发布问题时！谢谢…@Dale您应该阅读RM（参考手册）-其中对语法进行了很好的描述。Darkestkhan-我查看了LRM，但找不到抽象扩展的示例。你能看到它在哪里吗？