Re: Safe Units Handling in Ada

[Fraser <newsfraser@blancolioni.org>]

martin.m.dowie wrote:

> Wouldn't a better (by this I mean more readable/understandable) solution be
> to derive a new 'Unitless' (or 'Dimensionless') type from 'Float_Type'?

It depends on whether you see the generic argument as an actual type 
intended to be used with the definitions of the generated units package, 
or whether it's merely a way of saying how precise you want the package 
to be.  I've opted for the former; I can make that an option.

> Also, can't there just be a single "pragma Inline"? i.e. "pragma Inline
> ("*", "/");"
> at the bottom of the file - doesn't this cover all the overloaded operators
> prior
> to this single pragma?

Um, yeah.  I've vaguely wondered about this for years; but I never got 
around to reading 6.3.2(7) -- silly me.  I'll fix that now.

> Cracking effort all the same! :-)

Thanks!

Fraser.