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,db88d0444fafe8eb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Surprise in array concatenation
Date: 05 Sep 2005 19:46:13 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccr7c3w01m.fsf@shell01.TheWorld.com>
References: <1125610942.747981.280770@f14g2000cwb.googlegroups.com>
 <Qf2dnUIZUaeLGoreRVn-2g@comcast.com>
 <1125935610.797293.40550@g43g2000cwa.googlegroups.com>
 <6W0Te.5718$4P5.4916@newsread2.news.pas.earthlink.net>
 <wcck6hvnpsm.fsf@shell01.TheWorld.com>
 <2CY$GoGxppcL@eisner.encompasserve.org>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1125963973 22799 192.74.137.71 (5 Sep 2005 23:46:13
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Mon, 5 Sep 2005 23:46:13 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: g2news1.google.com comp.lang.ada:4457
Date: 2005-09-05T19:46:13-04:00
List-Id: <comp.lang.ada>

Kilgallen@SpamCop.net (Larry Kilgallen) writes:

> In article <wcck6hvnpsm.fsf@shell01.TheWorld.com>, Robert A Duff <bobduff@shell01.TheWorld.com> writes:
> > "Jeffrey R. Carter" <spam@spam.com> writes:
> > 
> >> Gene wrote:
> >> 
> >> > -- 'First is not always 1.  How marginally
> >> > Ada!
> >> 
> >> 'First is not always 1 (or 0, or X) is a basic concept in Ada. It's only
> >> if you don't know, or forget, this, and assume the behavior you learned
> >> in lesser languages, that you have problems.
> >> 
> >> I came to Ada from Pascal, so I was used to the lower bound not being
> >> fixed,
> > 
> > Heh?  The lower (and upper!) bound of all array types in Pascal is
> > fixed.  And it has to be fixed at a static value.  Every array object of
> > a given type has the same fixed bounds.
> > 
> > (Well, some version of Pascal added conformant arrays, which relaxed
> > this requirement for formal parameters.)
> 
> That is true, in the same sense that some versions of Ada added
> modular types -- they were added to the standard.

Right.  I was being vague because I couldn't remember whether conformant
arrays were added in the first ISO Pascal standard, or the Extended
Pascal version.  I also can't remember the status of Extended Pascal
(was it ever officially blessed by ISO?).  Do you know?

Conformant arrays were certainly not part of the original Pascal as
documented in Jensen and Wirth's book, "Pascal User Manual and Report".
And conformant arrays are only for parameters -- not normal variables,
record components, heap objects, etc.  Correct?

- Bob