Dnia 25.10.2012 Maciej Sobczak <s...@g...com> napisał/a:
>> Nie jest wcale tak "zawsze i wszędzie",
>
> Tak jest "zawsze i wszędzie" w Adzie, bo tak mówi standard.
>
>> przykład (liczenie silni metodą
>> rekurencyjną):
> [...]
>> I... dupa,
>
> Nie dupa, tylko wyjątek leci, zgodnie ze standardem.
>
>> GNAT ma opcję -gnato to już inna bajka
>
> To nie jest inna bajka:
>
> http://coding.derkeiler.com/Archive/Ada/comp.lang.ad
a/2006-08/msg00623.html
>
> "GNAT without -gnato is _not_ a standard Ada compiler!"
>
> Użyj kompilatora zgodnego ze standardem, to będziesz miał
> standardowe zachowanie.


To że ktoś gdzieś na forum tak pisze dorabiając swoje wytłumaczenie to jego
sprawa. W AdaRM wyraźnie jest napisane (odnośnie Ada95):

All parameter and result subtypes of the predefined integer operators
are of such unconstrained subtypes, allowing extended-length registers
to be used as operands or for the result. In an earlier version of Ada
95, Integer was unconstrained.

Co innego jak się dodało jawnie 'range', ale bez tego Ada95 nie była
zobligowana do wygenerowania wyjątku (a że kompilatory dodawały to
jako opcję, to się wcale nie dziwię, bo to była luka w
standardzie), to samo zresztą dotyczyło typów rzeczywistych (mogły
zwrócić "nieskończoność" bez generowania wyjątku jeśli się nie ustawiło
odpowiednio zakresu).