Ada标记比较会导致编译器崩溃

作者: v-star*위위
发布时间: 2024-12-26 04:16:00 (6天前)
转自：

2 条回复

0#
回复此人
NetworkAttachedStorage | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 以下程序使用2018版本的GNAT和GPS正常工作。 </p> <pre> <code> with Ada.text_IO; use Ada.Text_IO; with Ada.Tags; use Ada.Tags; procedure Tag_Main is package foo is type A is tagged private; type B is tagged private; private type A is tagged null record; type B is tagged null record; end foo; use Foo; function Tag_To_String(From : Ada.Tags.Tag) return String is( if From = A'Tag then "This is tag A" else "This is tag B" ); begin Put_Line(Tag_To_String(A'Tag)); Put_Line(Tag_To_String(B'Tag)); end Tag_Main; </code> </pre> <P> 请注意，我已编辑代码以使用函数表达式。它仍适用于GNAT / GPS 2018版本。这个版本是用gprbuild -d -PD编译的 </p> </DIV>

编辑

登录后才能参与评论