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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8077d2e20cde67b1
X-Google-Attributes: gid103376,public
From: niewiap@widzew.net (Pawe� Niewiadomski)
Subject: Re: Modular types inside records
Date: 2000/10/21
Message-ID: <8FD4C0E47Pablo@213.25.200.9>#1/1
X-Deja-AN: 684201133
References: <8FD47616EPablo@213.25.200.9> <8ss7fb$5c7$1@nnrp1.deja.com>
 <8FD4BD4F4Pablo@213.25.200.9> <39F1C21D.4E0AF2DB@acm.org>
X-Complaints-To: usenet@tpi.pl
X-Trace: news.tpi.pl 972150331 29120 195.117.215.73 (21 Oct 2000 17:45:31 GMT)
Organization: tp.internet - http://www.tpi.pl
User-Agent: Xnews/03.04.11
NNTP-Posting-Date: 21 Oct 2000 17:45:31 GMT
Newsgroups: comp.lang.ada
Date: 2000-10-21T17:45:31+00:00
List-Id: <comp.lang.ada>


>As you have probably found out, this won't work very well, since your
>array is indexed by Natural and your index variables are Mod_N_Max. You
>can put a bunch of type conversions in your code to work around this,
>but it would be clearer to define
>
>   type Arr is array (Mod_N_Max) of Item_Type;
Yupp, you are perfectly right!

>
>I have no idea why you have included the procedures Move_To_0 and
>Move_To_Last in the private part.
>
Just a remainder from the version with constraint checking.  Forgot to 
remove it before I made a standard Ctrl-C, Ctrl-V procedure.

Thanks a lot
Pawel