Re: Rational for not making cursor tagged in Containers

[Adam Beneschan <adam@irvine.com>]

On Apr 20, 3:14 pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > But please explain what use is a Boolean with discriminants.
> > I'm not sure...
>
>    type GUI_Boolean (Defined : Boolean := True) is (False, True);
>
> When Defined = False, the value is rendered as blank and the user is forced
> to enter it before it closes the dialog box.

X, Y : GUI_Boolean;

If you say X = Y, does it compare just the values, or does it compare
the discriminants also?

If it compares the discriminants, what do you write when you want to
compare just the values, without caring what the discriminants happen
to be?

What does "X = True" mean?  Does X.Defined have any effect on the
value of this expression?

OK, X is a GUI_Boolean that has Defined=false.  You now want to create
Y to be a GUI_Boolean that has the same value as X but Defined=true.
How do you write that, given that Ada does not let you put a
discriminant on the left side of an assignment?

There are lots of syntactic and semantic issues involved with sticking
a discriminant on a scalar that you probably haven't thought through.
I agree with Randy---that way lies madness, or at the very least a
severe migraine.  Thank you, but I think I'll stick to

    type My_Boolean_Value is (False, True);
    type GUI_Boolean (Defined : Boolean := True) is record
        Val : My_Boolean_Value;
    end record;

At least I know what I'm doing if I use this type.  If X is a
GUI_Boolean, then X refers to the whole record and X.Val refers to
just the value.  Nice, simple, easy to understand.

                                   -- Adam