Re: conversions between fixed-point types

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Dirk Herrmann <fight_spam@invalid.invalid> writes:

> Robert A Duff wrote:
>> Dirk Herrmann <fight_spam@invalid.invalid> writes:
> As I said when I started this thread, I am currently investigating
> whether Ada could be a good replacement for the proprietary fixed-point
> oriented language used in our company.  And, convincing my colleagues
> would certainly not be easier with statements like "Ada can be used, but
> you have to implement all fixed-point stuff yourself".

Well, yeah, but not "all fixed-point stuff" -- just conversions,
when the 'Smalls are incompatible.

Does it make sense in your context to avoid "odd-ball" smalls?
Note that the default 'Small is a power of 2.

>> By the way, you can say:
>>     for T'Small use T'Delta;
>> to avoid repeating yourself.
>
> I have tried that, especially since the very same recommendation was
> given in the Barnes book "Ada 2005".  But, GNAT gives an error message.

Oops.  You're right.  It's illegal by the freezing rules.
Sorry for the misinformation.

- Bob