Re: Shared Generic Instance Code

[Bill Keen <billy@marnhull.demon.co.uk>]

In article <dewar.859987468@merv>, Robert Dewar <dewar@merv.cs.nyu.edu>
writes
> On the other hand, shared generics add a lot
>of complexity to a compiler. 

He also says Gnat does not share code between generic instances.

But surely the mechanism for shared code is already there because of
dynamic instantiations like this.

with text_io;
procedure p (x : integer) is
  subtype T is integer range 0..x;
  package Tio is new text_io.integer_io(T);
begin
  Tio.put(0);
end;

It cannot add complexity if it alredy exists.

-- 
Bill Keen