我已将我的gnat更新为AdaCore的最新版本,并尝试重建也从AdaCore下载的最新AWS(Ada Web Server)。我在建设时遇到了一些错误: aws-services-web_block-context.ads:106:21: argument of pragma "SUPPRESS" is not valid check name
aws-services-web_block-c
在Ada中初始化动态分配数组的正确语法是什么?我试过这个: type Short_Array is array (Natural range <>) of Short;
Items : access Short_Array;
Items := new Short_Array(1..UpperBound)'(others => 0);
这会导致编译器错误 - “二元运算符预期”。而这: ty
我们最近更新了GCC版本(4.8.2至5.3.0),并在某些Ada应用程序中开始接收意外的约束错误。我已经将它归纳为以下: -- moo.adb
with text_io;
procedure moo is
type thing_type is (something1,something2,something3,something4,something5,something6);
因此,这是一个简单的项目,我之前将它们放在一起进行测试,然后再做一些很酷的事情。最终的目标是让程序能够通过真棒dll功夫来处理模块化。 但是,宝贝的步骤。现在我只想制作链接。 这里我有Adder.ads: package Adder is
function Add(A : Integer; B : Integer) return Integer;
end Adder;
和各自A
我使用的是Windows 10(64位),我从http://libre.adacore.com/download/configurations#下载了GNAT GPL 2017,ARM ELF格式(托管在Windows上)。 我创建了一个示例代码: with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
Put_Line
我有Windows 10 64位,我安装了刚安装的GNAT编程工作室(没有设置就像java jdk)。我想在GPS GNAT编程工作室制作我的第一个Ada程序。 在此基础上example,以下是Arrayproject.adb: with Ada.Text_IO;
with Ada.Integer_Text_IO;
use Ada.Integer_Text_IO;
use Ada.Text_