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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,43b6c5f649185450 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-03 18:01:02 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!lnsnews.lns.cornell.edu!newsstand.cit.cornell.edu!news.stealth.net!news.stealth.net!newspeer1-gui.server.ntli.net!ntli.net!newsfep1-gui.server.ntli.net.POSTED!53ab2750!not-for-mail From: "chris.danx" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3a) Gecko/20021212 X-Accept-Language: en, en-us MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: generic type identification References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Inktomi-Trace: pc2-bbrg1-4-cust73.renf.cable.ntl.com 1041645661 18280 80.4.70.73 (4 Jan 2003 02:01:01 GMT) Message-ID: Date: Sat, 04 Jan 2003 02:04:30 +0000 NNTP-Posting-Host: 80.1.224.4 X-Complaints-To: abuse@ntlworld.com X-Trace: newsfep1-gui.server.ntli.net 1041645661 80.1.224.4 (Sat, 04 Jan 2003 02:01:01 GMT) NNTP-Posting-Date: Sat, 04 Jan 2003 02:01:01 GMT Organization: ntl News Service Xref: archiver1.google.com comp.lang.ada:32512 Date: 2003-01-04T02:04:30+00:00 List-Id: Try here for placing *some* constraints on generics, http://www.cmis.brighton.ac.uk/staff/je/adacraft/ch12.htm#12.2 I don't know if it's a complete list or not, but if not, try the RM http://www.ada-auth.org/~acats/arm.html HTH, Danx -- for personal replies change spamoff to chris