Re: How to get a compilation error

[Wilhelm Spickermann <wilhelm.spickermann@t-online.de>]

--On Donnerstag, November 15, 2001 16:09:50 +0100 Jean-Pierre 
Rosen <rosen@adalog.fr> wrote:

> 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).

Wilhelm