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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8e0e21432ac3eca6
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: *\\~record depth~//*
Date: 1999/11/16
Message-ID: <80s28q$71j$1@nnrp1.deja.com>#1/1
X-Deja-AN: 549309621
References: <3826DFBF.52AC2680@interact.net.au>
 <Pine.LNX.4.10.9911151802000.11396-100000@lexis.di.fct.unl.pt>
 <383099e1_1@news1.prserv.net> <38312BD8.3D753AE1@interact.net.au>
X-Http-Proxy: 1.0 x35.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue Nov 16 16:54:52 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-11-16T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <38312BD8.3D753AE1@interact.net.au>,
  G <Dizzy@interact.net.au> wrote:
> I didn't know either of those 'shortcuts'.
> Thanks to you both.  I am self-educating.
>
> -Graeme

Just to follow up further on my comment that

  array (subtype-mark) of ...

is not a shortcut.

The fundamental idea of an array declaration is that you need
to specify the subtype of the subscript(s). The above is
the basic way of doing things. It is the .. notation that
is a shortcut

  array (x .. y) of ...

is a shortcut (and sometimes a confusing one) for

  subtype subscr is ... range X .. Y;
  array (subscr) of ...

What is confusing here is the type to put in for ... in the
subtype declaration. The rule is a bit peculiar:

If the types of x and y are other than universal integer, then
the type for ... is taken from the types of x and y.

If universal integers are used, then quite arbitrarily (and
in the view of many quite unwisely since it introduces junk
implementation dependencies in an implicit manner), the type
chosen is Standard.Integer.

Best idea always make the type of the subscript explicit in
the declaration. Either declare the subscript type, or use

  array (... range x .. y) of ...


Sent via Deja.com http://www.deja.com/
Before you buy.