Re: Extended modal types

["Marc A. Criley" <mcqada95@earthlink.net>]

Anatoly Chernyshev wrote:
> 
> Once I have been introduced in Ada programming, I was very
> exciting about modular types. Later on it became evident to me that
> these types are rather limited, and one cannot use arbitrary modular
> range,
> for example, like -100..345. I didn't find any packages in the WWW that
> can
> deal with such "extended" modular variables, so I wrote my own.
> Anyone interested could pick it up at
> http://www.polarhome.com/~ada/ch_rings.zip

Hmmm, modular types are unsigned by design.  So a "modular range" having
a negative lower bound doesn't really make any sense; it's no longer a
modular type.  Though one can produce a package that provides operations
on an integer type that mimics some of the modular type behavior.

Marc A. Criley
Consultant
Quadrus Corporation
www.quadruscorp.com