2

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

warning: "Ada.Numerics.Big_Numbers" is an Ada 2022 unit [-gnatwi]

我假设必须为编译器设置标志，所以我修改了Compilergpr 文件中的包，如下所示：

  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 也没有帮助。

4

1 回答 1

4

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

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

你可能想要：

   -gnatX    Language extensions permitted

编辑：

正如西蒙赖特在评论中指出的那样，-gnat2020应该可以工作，并且是一个更好的选择，即使它似乎没有记录在案。

于 2021-10-18T14:19:35.400 回答