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,fd173879a595bde
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news2.volia.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: ADA compilers can reject types arbitrarily?
Date: Tue, 15 Nov 2005 06:44:08 +0000
Organization: Pushface
Message-ID: <m2iruuif5z.fsf@grendel.local>
References: <slrndmloee.kq0.bogus_addy@tango.mindfuq.org>
 <meKdnXXIJd6tVPfeRVn-vw@comcast.com>
 <slrndmlus8.kq0.bogus_addy@tango.mindfuq.org>
 <TlCaf.1406$uD5.768@newsread3.news.pas.earthlink.net>
 <S9OdnXaVctqkvvHeRVn-jQ@comcast.com>
 <YNWaf.50$Xo.35@newsread2.news.pas.earthlink.net>
 <Qs6dndQOsuQXkPPeRVn-qw@comcast.com> <wcc64qw821y.fsf@shell01.TheWorld.com>
 <slrndng6nf.b0.bogus_addy@tango.mindfuq.org>
 <wcchdafhxo5.fsf@shell01.TheWorld.com>
 <slrndnikpp.ish.bogus_addy@tango.mindfuq.org>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1132037048 4824 62.49.19.209 (15 Nov 2005 06:44:08
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Tue, 15 Nov 2005 06:44:08 +0000 (UTC)
Cancel-Lock: sha1:Ll4MxHz3WX1F+R3PBAEyuRyIU9g=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (darwin)
Xref: g2news1.google.com comp.lang.ada:6390
Date: 2005-11-15T06:44:08+00:00
List-Id: <comp.lang.ada>

Anonymous Coward <nospam@nospam.com> writes:

> Amazing.  So an ADA compiler can even reject an operational spec, and
> still be considered an ADA compiler.  ie. an ADA compiler can reject:
>
>   type my_record is record
>     my_integer : integer;
>   end record;

I don't think a compiler that rejected _that_ would have many users.

> Technically any ADA compiler can reject my composit types, and I
> have no expectation that my code will run.

Well, it's more that your code (which is not supported by the
implementation) won't get a chance to run because it won't
compile. Better than failing at run time because of misaligned data.

By the way, it's properly Ada not ADA ...