Re: integer types and reference manual

[Stephen Leake <stephen_leake@acm.org>]

evangeli@cnam.fr (Evangelista Sami) writes:

> hello all
> 
> just two questions about this sample code :
> 
> 01   procedure Test is
> 02     type U is range 1..100;
> 03     N : constant U := 100;
> 04     type T is mod N + 10;
> 05   begin
> 06      null;
> 07   end;
> 
> 
> 1) what is the type of N + 10 ?

ARM 3.5.4 (5) says it's of "any integer type". Loosely speaking, you
can think of it as "universal integer".

> 2) in the syntax summary of the RM there is the token
> "static_expression". what is it exactly? 

To answer that precisely, you need to study the Annotated Ada
Reference manual in detail. Available at
http://www.adaic.com/standards/ada95.html, and in Emacs Info format at
http://www.adaic.com/standards/ada95.html

> an expression which value can be computed at the compilation time?

That's close enough for most purposes. The compiler will give you an
error when you hit a corner case where it's not "close enough".

-- 
-- Stephe