Re: How to get a compilation error

["martin.m.dowie" <martin.m.dowie@ntlworld.com>]

> > Could try:
> >
> >    type A_Valid_Range is range 0 .. 0;
> >
> >    My_Check : constant A_Valid_Range :=
> >       A_Valid_Range (96 mod (Integer'Min (32, System.Max_Binary_Modulus
/
> > 2)));
> >
> > This will probably raise a warning rather than an error though.
> > Some compilers will let you specify that warning are to be
> > treated as errors.
> 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).

Ooohhh! That's good!!!

Don't you just love this language!