Re: Generics not overloadable

["Nick Roberts" <nickroberts@adaos.worldonline.co.uk>]

I think what Ian meant was that a generic unit can be a function, and some
functions are recursive. E.g.:

   generic
      type Number is range <>;
   function Factorial (N: in Number) return Number;

   function Factorial (N: in Number) return Number is
   begin
      if N < 0 then raise Constraint_Error; end if;
      if N < 2 then return 1; end if;
      return N * Factorial(N-1);
   end;

Here the last occurance of 'Factorial' is the use of the generic unit's name
as its current instance in order to make a recursive call upon itself.

--
Best wishes,
Nick Roberts