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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,73057f1a3ca11607
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!news.zanker.org!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!newsmm00.sul.t-online.de!t-online.de!news.t-online.com!not-for-mail
From: Martin Krischik <krischik@users.sourceforge.net>
Newsgroups: comp.lang.ada
Subject: Re: Is T an ancestor of T?
Date: Sat, 16 Oct 2004 16:37:40 +0200
Organization: AdaCL
Message-ID: <1118855.FppZOJNDYv@linux1.krischik.com>
References: <ckfc4r$lsv$1@a1-hrz.uni-duisburg.de>
 <1738418.atIT6LYH9Z@linux1.krischik.com>
 <ckgq66$fsv$1@a1-hrz.uni-duisburg.de>
 <1940150.rU8f1KaX3L@linux1.krischik.com>
 <ckheim$s7o$1@a1-hrz.uni-duisburg.de>
 <6577257.BAFHMKqgPc@linux1.krischik.com>
 <ckjlhm$2hh$1@a1-hrz.uni-duisburg.de>
 <1406724.hY6njLzCIG@linux1.krischik.com>
 <ckot3m$hek$1@a1-hrz.uni-duisburg.de>
 <2668948.gJfALsUrHD@linux1.krischik.com>
 <ckp0qq$a2l$1@a1-hrz.uni-duisburg.de>
Reply-To: krischik@users.sourceforge.net
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: news.t-online.com 1097944822 01 32695 mOZqX9bJbB7p44a 041016 16:40:22
X-Complaints-To: usenet-abuse@t-online.de
X-ID: SPu7OoZeZe8K7utbOjsJ9q8G+5Z0RYZOiOx1EmWaWBsTJn8h1wk8Qk
User-Agent: KNode/0.8.0
Xref: g2news1.google.com comp.lang.ada:5333
Date: 2004-10-16T16:37:40+02:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:

> I still don't know whether or not a type is an ancestor of itself,
> given that it is a descendant of itself.

Well we discussed it long enough here and if you really want to know then
there is only one option left. A mail to:

ada-comment@ada-auth.org

This is the mail address of the Ada Authority. If they don't know knowbody
does. (Please note: While Ada Authority is open "for question from the
general public" one should allways ask at comp.lang.ada first).

Don't foreget to subscribe as well otherwise you will never see the answer:

listserv@ada-auth.org

With Regards

Martin

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com