From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,37680a99b5e22b2b
X-Google-Attributes: gid103376,public
From: Bill Keen <billy@marnhull.demon.co.uk>
Subject: Re: Shared Generic Instance Code
Date: 1997/04/03
Message-ID: <sO6r4AADiBRzEwoj@marnhull.demon.co.uk>#1/1
X-Deja-AN: 230536344
Distribution: world
X-NNTP-Posting-Host: marnhull.demon.co.uk
References: <5hrkhkINN9ip@snoopy.cis.ohio-state.edu>
Organization: Peninsula Products
Newsgroups: comp.lang.ada
Date: 1997-04-03T00:00:00+00:00
List-Id: <comp.lang.ada>


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