Question about sets and expression

[reinert <reinkor@gmail.com>]

Hi,

I did not manage to make a simple test program for this problem,
but maybe someone can give me a hint here. I start to be "blind" :-)

os is here an Ordered_Set (not empty). The first part seems OK,
but the second part is confusing (craches).

-------------------------------------------------------------------------------
-- First part (seems OK):
       Put_Line(" Here A ");

       if not os.is_empty then
          Put_Line(" Here B ");
          c := os.first_element;
       else
          Put_Line(" Here C ");
          c := (id => Cnil, others => <>);
       end if;

       Put_Line(" Here D ");

------------------------------------------------------------------------------
-- Second part (here it goes wrong):
       c := (if not os.is_empty then os.first_element 
                        else (id => Cnil, others => <>));
       Put_Line(" Here E ");
------------------------------------------------------------------------------

*  Here is an example of output from this code:

 Here A 
 Here B 
 Here D 

Exception raised
Exception name: STORAGE_ERROR
Message: s-intman.adb:139 explicit raise

reinert