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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no
	version=3.4.4
X-Google-Thread: 103376,51890d5f6003bad4
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: "Christoph Karl Walter Grein" <AdaMagica@web.de>
Newsgroups: comp.lang.ada
Subject: Re: Integer'Class
Date: Tue, 05 Oct 2004 09:35:29 +0200
Organization: http://freemail.web.de/
Message-ID: <mailman.192.1096961743.390.comp.lang.ada@ada-france.org>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Trace: melchior.cuivre.fr.eu.org 1096961744 87899 212.85.156.195 (5 Oct 2004
 07:35:44 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Tue, 5 Oct 2004 07:35:44 +0000 (UTC)
To: comp.lang.ada@ada-france.org
Return-Path: <AdaMagica@web.de>
Precedence: fm-user
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.4
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: g2news1.google.com comp.lang.ada:4713
Date: 2004-10-05T09:35:29+02:00

There are several mistakes in the post:

> The parent for simple types is 'Base. The 'Base of Integer is
> universal_integer - a compiler internal type which cannot be used directly.
> 
> Saying that, I now start to wonder what 'Base of a tagged type is...

'Base is defined for scalar subtypes only. So there is no such thing for tagged types.

Integer is the "first subtype" (constrained) of an anomymous unconstrained base type
accessible via the 'Base attribute.

The parent of all integer types is root integer, which again is anonymous. All integer
literals are of this type; they are implicitly converted to the correct target type.
You may informally think of root integer as Integer'Class.
__________________________________________________________
Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min.
weltweit telefonieren! http://freephone.web.de/?mc=021201