spark-2014

1熱度

2回答

在SPARK Ada中實例化非庫級軟件包

如何在SPARK Ada中實例化非庫級軟件包？ 說我有這樣的： subtype Die is Integer range 1..6; package Random_Die is new Ada.Numerics.Discrete_Random(Die); 這給了我的錯誤： instantiation error at a-nudira.ads.45 incorrect plac

ada spark-ada spark-2014 2017-06-30

---