"Wilhelm Spickermann" <wilhelm.spickermann@t-online.de> a �crit dans le message news:
mailman.1005881899.15799.comp.lang.ada@ada.eu.org...
>> To get an error, do the following:
>> subtype Assert is boolean range True..True;
>> Check : constant := Assert'Pos(96 rem Chunk_Bits = 0)
>>
>> Since Check is a named number, an invalid value will result in
>> a compile time error (new in 95).
>
>Hmm, I didn�t get a compilation error with gnat and I think
>thats correct. 0 is a valid value for Check and False is a valid
>parameter for Assert�POS as it takes Assert�BASE parameters
>according to ARM 3.5.5(3).
That's right... try:
Check : constant := Assert'Pos(Assert(96 rem Chunk_Bits = 0))


--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr