Re: CONSTRAINT_ERROR - why?

[Alfred Hilscher <Alfred.Hilscher@t-online.de>]

Jeffrey Carter schrieb:
> The value passed to Left is not in the range of Byte. If you want this
> evaluated as a universal expression, you have to add a step:
> 
> declare
>     Value : constant := X'Size / 8;
> begin
>     Y := Value;
> end;
>
> There is no "extra assignment". This is a static universal expression 
> and is evaluated by the compiler. Value becomes a name for the resulting 
> value (a "named number"). The block statement above is another way to write


I tried, but - it does not compile: "non-static expression used in
number declaration". So it's _not_ a static expression and will generate
code which will be executed during runtime.

I discussed the "why is 'size not static?" about half a year ago in cla
(when I tried to declare a "type a is array (1..(x'size/8)) of
character").


"As longer I do Ada, as more I love C."


> --
> Jeff Carter
> "Why don't you bore a hole in yourself and let the sap run out?"
> Horse Feathers