Re: generic packages

[Fabien Garcia <fabien.garcia@laas.fr>]

Sami Evangelista wrote:
 > [snip]

> is there any solution ?
> 
> thanks for any help
I would try something like this :


-----------------------------------------------------------------
generic
      type Element_a is private;
      type element_b is private;
      with function eq_a (E1, E2 : in Element_a) return boolean;
      with function eq_b (E1, E2 : in Element_b) return boolean;		
      with function a_to_b(A : in Element_a) return element_b;
package A_Set_To_B_set_pack is

package a_set is new generic_set (Element_a,eq_a);
package b_set is new generic_set (Element_b,eq_b);

function a_set_to_b_set(the_set : in a_set.set) return b_set.set;
------------------------------------------------------------------
Fabien Garcia