Re: Question about sets and expression

[reinert <reinkor@gmail.com>]

On Monday, May 8, 2017 at 6:06:52 PM UTC+2, Robert Eachus wrote:
> On Monday, May 8, 2017 at 11:53:23 AM UTC-4, reinert wrote:
>  
> > 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).
> 
> Trying to diagnose the problem without the declarations is difficult.  I suspect
> that c := (id => Cnil, others => <>);  is trying to assign an unbounded array with that others part.

OK, sorry. 

c: cell_observation_t; 

where simply: 

   type cell_observation_t is record 
      id                  : cell_names1.target_t; 
      state               : cell_state_t         := live; 
      r, dr               : real_vector2d        := (0.0, 0.0); 
      axis                : degree_t; 
      children1           : cell_names1.cell_names_sets.set := cell_names1.cell_names_sets.empty_set; 
      pre_cell, next_cell : target_t             := cnil; 
   end record; 

"children1" is Ada.Containers.Ordered_Sets (without any defined bound): 

 package cell_names_sets is new Ada.Containers.Ordered_Sets (target_t); 

 "target_t" is an enumaration type. 


I hoped that someone has encountered similar with expressions and could give a hint. Maybe I have destroyed the Ordered_Set somewhere... 

I use GNAT under debian, updated. gnat-4.9. 

reinert