我已將我的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_