Re: New limited range type?

[martin.dowie@btopenworld.com (Martin Dowie)]

Nick Roberts <nick.roberts@acm.org> wrote in message news:<bojou0$1f4o0i$1@ID-25716.news.uni-berlin.de>...
> I have an alternative proposal: a new language-defined attribute Conform, 
> which would be applicable to any fixed-point subtype S, and would be a 
> function with the profile:
> 
>     function S'Conform (X: in universal_real) return S;

I can cope with that - although I don't like the name much. How about:

   function S'Limit (X:...

 
[snip]
> Note how I define a fixed point type to provide a big enough base range (in 
> this case 50 complete turns either way) for all calculations, and then a 
> subtype of it to define the required confined or normalised range.

While that's good technique, I presume your NOT saying that the RM would
require this?

Also, why not allow it for any scalar type?

-- Martin