Re: Ranges and (non)static constraints

[Jean-Pierre Rosen <rosen@adalog.fr>]

Dmitry A. Kazakov a �crit :
> Actually it is not the machine which cannot, but the compiler. Why should I
> care if an integer would fit a machine word?
In theory you are right, but in practic you may assume that compiler 
writers are not crazy and want to provide a product that's useful to 
their clients. Although nothing really requires it in the RM, it is
safe to assume that System.Max_Int is the biggest integer value that can 
be handled by the machine, and that Standard.Integer is the usual, 
efficient integer type.

> 3) I don't want to mention any constraint now, but delegate it to the user.
> Generics is the only option for this now.
OK, that's another option. What's the problem?

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr