From: niewiap@widzew.net (Pawe� Niewiadomski)
Subject: Re: Modular types inside records
Date: 2000/10/21
Date: 2000-10-21T17:45:31+00:00 [thread overview]
Message-ID: <8FD4C0E47Pablo@213.25.200.9> (raw)
In-Reply-To: 39F1C21D.4E0AF2DB@acm.org
>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
next prev parent reply other threads:[~2000-10-21 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-21 0:00 Modular types inside records Pawe� Niewiadomski
2000-10-21 0:00 ` Robert Dewar
2000-10-21 0:00 ` Pawe� Niewiadomski
2000-10-21 0:00 ` Jeff Carter
2000-10-21 0:00 ` Pawe� Niewiadomski [this message]
2000-10-23 0:00 ` Robert A Duff
2000-10-23 0:00 ` Pawe� Niewiadomski
2000-10-24 0:00 ` Robert A Duff
2000-10-25 1:50 ` Nick Roberts
2000-10-25 0:00 ` Pawe� Niewiadomski
2000-10-27 22:05 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox