Re: Why no 'Floor for fixed point types

["Randy Brukardt" <randy@rrsoftware.com>]

"Nick Roberts" <nick.roberts@acm.org> wrote in message
news:bnmcoj$12vsv7$1@ID-25716.news.uni-berlin.de...
> > Not true if Tf is a generic formal type (and this is a common way to
> > implement such code). Moreover, if you use a code-sharing compiler such
as
> > Janus/Ada, it won't be calculated at compile-time, either.
>
> Hmmmm, nasty. Is this (the non-staticness of things in generics) something
> that is likely to be addressed in the next revision, Randy?

I hope not, or I'll be out of the compiler business. (Redoing all of the
generic support in Janus/Ada is out of the question.)

> Do you think fixed point types should have a Floor attribute?

The original answer to this showed that for some fixed point types, it
wouldn't be possible to implement it accurately. Thus, it is much better to
show what you are doing via a conversion to an appropriate float type.
Hopefully the compiler can note the easy cases and eliminate the float
operations.

                    Randy.