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-Thread: 103376,fc52c633190162e0
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.germany.com!newsfeed.utanet.at!newsfeed01.chello.at!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: why learn C?
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <8omz1do99g.fsf@hod.lan.m-e-leypold.de>
References: <1172144043.746296.44680@m58g2000cwm.googlegroups.com>
	 <slrnetr31o.875.Marc.Boyer@localhost.localdomain>
	 <1172161751.573558.24140@h3g2000cwc.googlegroups.com>
	 <slrnetri6j.875.Marc.Boyer@localhost.localdomain>
	 <546qkhF1tr7dtU1@mid.individual.net>
	 <slrnett8ph.807.Marc.Boyer@localhost.localdomain>
	 <5ZULh.48$YL5.40@newssvr29.news.prodigy.net>
	 <1175215906.645110.217810@e65g2000hsc.googlegroups.com>
	 <rOudnecT2dxOEZHbnZ2dnUVZ_qupnZ2d@comcast.com>
	 <1175230700.925143.28490@n59g2000hsh.googlegroups.com>
	 <sa4d52ntlj8.fsf@margay.local>
	 <1175494583.376672.93730@n59g2000hsh.googlegroups.com>
	 <sa43b3iiay5.fsf@margay.local> <4FsTh.11652$eC.5816@trndny03>
	 <8omz1do99g.fsf@hod.lan.m-e-leypold.de>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Organization: #
Message-Id: <1176507765.5656.24.camel@localhost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.8.1 
Date: Sat, 14 Apr 2007 01:42:46 +0200
NNTP-Posting-Date: 14 Apr 2007 00:41:13 CEST
NNTP-Posting-Host: ae4204fe.newsspool4.arcor-online.net
X-Trace: 
 DXC=<VGJ6QNN>bJk:C4l9A;OcO4IUK<Cl32<A4Fo<]lROoRA4nDHegD_]REW=mBE_b6^gGA:ho7QcPOVC4L_<BlkH@A@BAHY]j@C8FO
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:15001
Date: 2007-04-14T00:41:13+02:00
List-Id: <comp.lang.ada>

On Thu, 2007-04-12 at 18:19 +0200, Markus E Leypold wrote:
> 
> Hyman Rosen <hyrosen@mail.com> writes:
> 
> > That's largely because C++ types are static compile-time
> > things, while Ada types are dynamic runtime things.
>              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> 
> How so? That is indeed news to me.

In this sense:

    type P is tagged null record;
 
    procedure here(n: Positive) is
	subtype S is Positive range 1 .. n;
	type T is array (S range <>) of Character;
	type D is new P with record
	    item: T(1 .. n);
	end record;
    begin
	pragma assert(S'last = 42);
	null;
    end here;