Re: How to get a compilation error

[Pi <pi3_1415926536@yahoo.ca>]

Jean-Pierre Rosen wrote :

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

or

Check : constant Boolean := Boolean'Pred(96 rem Chunk_Bits = 0);

or 

Check : constant := Boolean'Pos(Boolean'Pred(96 rem Chunk_Bits = 0));

no need for an Assert-subtype ;-)
Only that Check will always be false when it compiles.

TMTOWTDI

-- 
3,14159265359