Re: New limited range type?

[snarflemike@yahoo.com (Mike Silva)]

Hyman Rosen <hyrosen@mail.com> wrote in message news:<1068220677.950551@master.nyc.kbcfp.com>...
> Martin Dowie wrote:
> > I'd like to be able to declare integer/float/fixed/decimal types that are
> > limited, at both ends, and never raise exceptions
> 
> This is generally called saturating arithmetic, and you are
> far from the first to request it. I belive the difficulty
> lies in assigning meaning to expressions and intermediate
> results. What if you say A := B + C - D, with values such
> that (B + C) saturates but B + (C - D) does not?

Well, this may be a very naive answer, but it seems that there's
already an Ada solution to the difficulty: why not just saturate under
the same circumstances that a normal range-limited type would generate
an out-of-range exception?

Mike