Re: Hiding the value of Constants

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 7 Jul 2009 08:51:35 -0700 (PDT), Adam Beneschan wrote:

> I believe the reason enumeration literals are actually functions is so
> that you can use the same enumeration literal in more than one
> enumeration type and not have to worry about name conflicts.

It is a strange explanation to me. There is no obvious reason why rules
about overloading named objects should be different for functions. The
effect is same, so the syntactic form should be same.

> The
> overloading rules will allow the compiler to figure out which one is
> meant.  There are additional bonuses, such as being able to use an
> enumeration literal as the actual for a generic instantiation that
> expects a function.  How useful that is in practice, I don't know.

It is indeed useful, because sometimes it is impossible to declare a ting
as an initialized constant. In such cases making it a function gives the
desired effect.

[...]
> If you mean that you'd like
> constants to be treated like static functions, so that you can
> overload them:
> 
>     Max : constant Integer := 15;
>     Max : constant Float := 15.0;
> 
> that's an intriguing idea.

I think the idea is rather straightforward. But also

   X : Integer;
   X : Float;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de