Re: Default comparison of tagged variant records

["Adam Beneschan" <adam@irvine.com>]

msimonides@power.com.pl wrote:
> I'm having problem with default comparison of tagged, variant records
> not calling user-defined "=" operators for record components. At least
> that's, what I think.
>
> Here is an example:
>
> with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
> with Ada.Text_IO; use Ada.Text_IO;
>
> procedure Test is
>
>    type Thing is tagged
>       record
>          null;
>       end record;
>
>    type Bigger_Thing (Discriminant : Boolean) is new Thing with
>       record
>          case Discriminant is
>             when True =>
>                Text           : Unbounded_String;
>             when False =>
>                Number         : Natural;
>          end case;
>       end record;
>
>    Big_Something        : constant Bigger_Thing := Bigger_Thing'(
>       Discriminant => True, Text => Null_Unbounded_String);
>    Big_Something_Copy   : constant Bigger_Thing := Big_Something;
>
> begin
>    Put_Line ("Are they equal?");
>    Put_Line (Boolean'Image (Big_Something = Big_Something_Copy));
> end Test;
>
>
> It prints "FALSE" and does it for both values of Discriminant, so even
> when Text component isn't used.
> However, comparison works properly when either there is no
> Unbounded_String, the record isn't tagged or the record doesn't have a
> discriminant.

This looks like a compiler bug to me.  It should return TRUE in those
all cases.

                              -- Adam