Re: Why no 'Floor for fixed point types

[Nick Roberts <nick.roberts@acm.org>]

Randy Brukardt wrote:

> "Nick Roberts" <nick.roberts@acm.org> wrote in message
> news:bnen7p$vjo06$1@ID-25716.news.uni-berlin.de...
> 
>>For a conforming compiler, there should be no rounding issues in the case
>>Scale=1/Tf'Small, the division is a static expression (which should be
>>calculated precisely at compile time), and I would expect the
>>multiplications to be eliminated.
> 
> 
> 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? Do you think 
fixed point types should have a Floor attribute?

-- 
Nick Roberts