GNAT 2011, (с поддержкой многих фич стандарта А2012) Опции

[IUnknown]

Итак, 14 июня вышла наконец долгожданная версия GNAT GPL 2011.

Много улучшений, новая версия самой IDE (теперь это версия 5.0.1, вместо 4.3.1 из 2009-ой версии, и 4.4.1 из 2010), мне нравится больше, чем прежняя, одна возможность фильтрации результатов компиляции чего стОит (хотя это вроде было и в 2010, но мне сравнивать не с чем, я сразу перешел 2009 -> 2011, поэтому все нововведения будут относительно предпоследней версии).

Что говорит официальная страничка (комментарии - мои):

1. Улучшенная поддержка А2012 (да, это - главная причина, по которой я обновился. Теперь есть возможность использовать все те фичи, которые на настоящий момент утверждены для нового стандарта, а не просто наблюдать сообщение, что это будет доступно в 2012 году, как было в прежней версии GNAT. Это и "in out" параметры для функций, и условные выражения, и Case-выражения, работают Quantified expressions, дискриминанты для лимитированных тэговых типов, Pre/Post-условия, и многое другое из того, что уже внесено в окончательную редакцию стандарта)
2. Улучшенные версии (GPS 5.0 - расширенная поддержка С/С++, более мощный редактор, повышенное юзабилити, GtkAda - новые виджеты, интерфейс к граф. библиотеке Cairo). (От себя добавлю, что в редакторе наконец-то сделали выпадающий список Pragma, и список атрибутов типа:
   
   )
3. Более гибкий и эффективный менеджер проектов
4. Поддержка выгрузки плагинов
5. Улучшенная поддержка конструкций на .NET-платформе
6. Более детальные сообщения об исключениях (при использовании ключа -gnateE)
7. полная поддержка платформы Lego Mindstorms NXT, включая аудио и I2C-сенсоры (об этом есть ролик на youtube, англ.: вот он )

Как видно, много народу хочет попробовать новую среду/новый компилятор - я скачивал пакет размером 140Мб почти 12 часов, скорость иногда падала до 2-3Кб/сек. Но сейчас с этим вроде справились.

Сообщение отредактировано: IUnknown - 17.06.2011 14:40

[IUnknown]

https://ideone.com/xUM1j ?

Сразу скажу насчет зачем понадобилось описывать функции Plus и Mult, почему бы не сделать "+"'Access и "*"'Access - потому что prefix of "Access" attribute cannot be intrinsic. Вот такое ограничение в языке...

Через костыли могу.

Костыли можно чуть-чуть выпрямить:

   function Just_Test (arr : Vector; Index : in out Integer) return Boolean is
      
      function Is_Valid (i : Integer) return Boolean is
      begin
         return b : Boolean := arr (i) /= 0 do
            if b then Index := i; end if;
         end return;
      end Is_Valid;
      
   begin
      Index := -1;
      return (for some i in arr'Range => Is_Valid (i));
   end Just_Test;