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,7d14d8f47ca035bf
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-04-05 13:33:03 PST
Newsgroups: comp.lang.ada
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!193.190.198.17!newsfeeds.belnet.be!news.belnet.be!news2.euro.net!uunet!ash.uu.net!world!bobduff
From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Ada Generic vs. C++ Templates
Sender: bobduff@world.std.com (Robert A Duff)
Message-ID: <wccsnjnjdev.fsf@world.std.com>
Date: Thu, 5 Apr 2001 20:32:24 GMT
References: <MPG.1532ab1cc6ed7b4989682@news.chello.at>
	<u90y6.289$UK4.27290@www.newsranger.com>
	<3AC8E799.189EE51C@bigfoot.com> <U76y6.63$jz.1782@www.newsranger.com>
	<3ACA4A12.9FC665D5@bigfoot.com> <3ACBBE65.D65BB767@worldnet.att.net>
	<WMRy6.676244$U46.20968423@news1.sttls1.wa.home.com>
	<9ahv88$99b$1@nh.pace.co.uk>
Organization: The World Public Access UNIX, Brookline, MA
X-Newsreader: Gnus v5.3/Emacs 19.34
Xref: supernews.google.com comp.lang.ada:6527
Date: 2001-04-05T20:32:24+00:00
List-Id: <comp.lang.ada>

"Marin David Condic" <marin.condic.auntie.spam@pacemicro.com> writes:

> Well, I think it is true that *technically* speaking, an Ada compiler could
> read any Ada program and generate code that produced the exception
> Program_Error (or some other appropriate exception).(1) All you have to do
> is posit that the target implementation is too small to contain *any* legal
> Ada program of *any* size. This would be perfectly legal and presumably
> ought to pass the validation suite.

Yes, it's perfectly legal (presuming the target machine really is that
limited).

But no, it won't get validated.

- Bob