How do you get around the absence of containers for limited types?

[OneWingedShark]

@evanescente-ondine

But as you see Insert IS under Cell_Lists… What gives ?

Are you withing the instantiation (cell_lists) for JE.Spreadsheet?
Is the specification for JE.Limited_Lists.Insert in the spec?
(If its in the body, it won’t be visible in the instantiation.)
Also, are these in separate files?

[evanescente-ondine]

@OneWingedShark

ible in the instantiation.)
Also, are these in separate files

je-spreadsheets.ads:

with Ada.Finalization, Ada.Exceptions, JE.Limited_Lists;

As I posted, Insert is public:

@evanescente-ondine

package JE.Limited_Lists is ...
	generic
		with function Make return Item_type is <>;
	procedure Insert (Iterator : List_Iterator);

[OneWingedShark]

@evanescente-ondine

je-spreadsheets.ads:

with Ada.Finalization, Ada.Exceptions, JE.Limited_Lists;

In the context clause, replace JE.Limited_Lists with Limited_Cell_List and make a file Limited_Cell_List.ads:

With
JE.Limited_Lists,
WHEREVER_CELL_TYPE_IS_DECLARED;

Use
WHEREVER_CELL_TYPE_IS_DECLARED;

Package Limited_Cell_List is new JE.Limited_Lists(
      Item_Type   => Cell_type'Class,
      Item_Access => Cell_Access
   );

[evanescente-ondine]

No can do, because Cell_type is in the same package that requires the instanciation of JE.limited_lists. No way to separate the two, it creates a mess of circular dependency and I can’t or don’t know how to deal with that.