How to get a compilation error

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

Hi,

I would like to get a compilation *error*, if some compile time 
constant is not suitable for the algorithm in use. Example:

Chunk_Bits : constant :=
  Integer'Min (32, System.Max_Binary_Modulus / 2);
type Check is (Checkitem1, Checkitem2);
for Check'SIZE use 1 - Integer'MIN (96 mod Chunk_Bits, 1);

The last two lines result in a compilation error, if and (I 
hope) only if 96 is not a multiple of Chunk_Bits. That´s what I 
want -- but it´s really ugly. Does anyone have something better?

Wilhelm