ada - 如何在 GPS 社区 2021 中允许 Ada Big_Numbers

Question

在 Ada 2022 中，可以根据我在 GPS Community Edition 2021 中收到的错误，通过在某处设置 -gnatwi 来启用 Ada.Numerics.Big_Numbers。

警告:“Ada.Numerics.Big_Numbers”是 Ada 2022 单位 [-gnatwi]

我假设必须为编译器设置标志，因此我修改了 gpr 文件中的 Compiler 包，如下所示:

  package Compiler is
      for Default_Switches ("Ada") use
        Compile_Checks_Switches &
        Build_Switches &
        Runtime_Checks_Switches &
        Style_Checks_Switches &
        Contracts_Switches &
        ("-gnatw.X", -- Disable warnings for No_Exception_Propagation
         "-gnatQ", -- Don't quit. Generate ALI and tree files even if illegalities
         "-gnatwi"); -- Big_Numbers
   end Compiler;

请注意末尾的 -gnatwi 标志。

但是 GPS 仍然提示我在设置了 with Ada.Numerics.Big_Numers 的文件上尝试“构建->检查语义”。 重新启动 GPS 也没有帮助。

Answer 1

以 -gnatw 开头的选项只是关于警告:

-gnatwxx  Enable selected warning modes, xx = list of parameters:
    i*+  turn on warnings for implementation unit

您可能想要:

   -gnatX    Language extensions permitted

编辑:

正如 Simon Wright 在评论中指出的那样，-gnat2020 应该可以工作，并且是一个更好的选择，尽管它似乎没有记录。