Re: Modular types inside records

[Robert A Duff <bobduff@world.std.com>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 661 bytes --]

niewiap@widzew.net (Pawe� Niewiadomski) writes:

> Pretty neat, huh?  Not as flexible as my previous (erroneous) idea (you 
> need to instantiate the generic every time you want to change the size of 
> your queue), but still gets rid of constraint verification problem.  It is 
> just a rough, untested idea, but I think it will work.

It can be made to work.

But I don't think this is a good use of modular types.  Instead, use a
normal (signed) integer type ("range 0..Whatever"), and use an explicit
"mod" operation, or an explicit if statement.  That makes the code more
readable, by making it clear what's going on at the "wraparound" place.

- Bob