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: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: f43e6,b87849933931bc93 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: dewar@merv.cs.nyu.edu (Robert Dewar) Subject: Re: Ada Generics (was Re: OO, C++, and something much better!) Date: 1997/01/07 Message-ID: #1/1 X-Deja-AN: 208366894 references: <5arhb0$d4e@top.mitre.org> <5au0ss$sin@zeus.orl.mmc.com> organization: New York University newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng Date: 1997-01-07T00:00:00+00:00 List-Id: Bob Gilbert asks "Most of the Ada comilers I've used do expand the generic instantiation at compile time. Could somebody offer up an example of where this would not be possible?" No one can give you an example, because there are none. GNAT demonstrates that it is possible to do all generic instantiation at compile time. Note however that in a classical library model, as opposed to the source model of GNAT, there are cases of circular instantiations which may require some trickery to do at compile time, so one can imagine compilers with restrictions on what can be done at compile time (by circular instantiations here I do not mean truly circuluar, which is of course illegal), but just mutually recursive references, e.g. two packages, each of which instantiates from the other.