Re: extended membership tests

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Dan <dan@irvine.com> writes:

> Here's a fun quiz to test your Ada2012 knowledge, based on an
> observation by Yannick Moy.

I won't answer, because I was involved in the discussion with Yannick.

> Consider this Ada 2012 procedure:
>
> with ada.containers.ordered_sets;
> procedure membership is
>     package int_sets is new ada.containers.ordered_sets(integer);
>     function "="(x,y: integer) return boolean is begin return true;
> end;
>     x: integer := 6;
>     y: integer := 12;
>     b1: boolean := x in y;
>     b2: boolean := x in int_sets.to_set(new_item => y);
> begin
>     null;
> end;

For extra credit, what happens if we replace b2 with:

    b3: boolean := int_sets.to_set(new_item => x)
                in int_sets.to_set(new_item => x)
                or int_sets.to_set(new_item => y);

;-)

- Bob