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: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.224.10.6 with SMTP id n6mr22494609qan.4.1366858426109;
        Wed, 24 Apr 2013 19:53:46 -0700 (PDT)
Path: 
 ef9ni18070qab.0!nntp.google.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!backlog2.nntp.ams.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!rt.uk.eu.org!news.mixmin.net!news2.arglkargh.de!noris.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 19 Apr 2013 11:11:53 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130328 Thunderbird/17.0.5
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <kkkl0h$v4d$1@munin.nbi.dk>
 <hio9qb0ob6az.13z9i9wft23vx$.dlg@40tude.net>
 <516e6a0e$0$9505$9b4e6d93@newsspool1.arcor-online.net>
 <hjzl0sd8i8i4.10y42pawylzsx.dlg@40tude.net>
 <516efa28$0$9518$9b4e6d93@newsspool1.arcor-online.net>
 <qtagj9gwjjxn$.ljj8purwznkr.dlg@40tude.net>
 <51710936$0$6554$9b4e6d93@newsspool4.arcor-online.net>
In-Reply-To: <51710936$0$6554$9b4e6d93@newsspool4.arcor-online.net>
Message-ID: <51710a55$0$6552$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Apr 2013 11:11:49 CEST
NNTP-Posting-Host: c141c0a5.newsspool4.arcor-online.net
X-Trace: 
 DXC=\Fd@=\HN[7D=8m7nZkdN^@4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOKTUUbab]\[CLnc\616M64>JLh>_cHTX3jMMlhfU0^4Q`D
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 1967
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-04-19T11:11:49+02:00
List-Id: <comp.lang.ada>

On 19.04.13 11:07, Georg Bauhaus wrote:
>
> Confusion starts precisely from considering the mix of language
> defined semantics and used defined types.

I'll correct a typo in the sentence because it (the sentence) is
important to me.

Confusion starts precisely from considering the mix of language
defined semantics and user defined types.

> Go ahead. Tell us how a compiler will check the consistency
> of user defined array types with built-in arrays in all required
> places in Ada programs; then, suggesting a different array
> facility for Ada might be more convincing.