Re: Safe Units Handling in Ada

[Fraser Wilson <newsfraser@blancolioni.org>]

Dan Andreatta wrote:

> This also should return kg**2.

It will, but you have to ask for it (because generating all possible 
unit combinations is infeasible and overkill).

For example, we can use the following definitions:

Kilogram is fundamental;
Square_Kilogram is Kilogram * Kilogram;

Macks will generate an Ada package containing, amonst other things, this 
function:

    function "*"
      (Left  : Kilogram;
       Right : Kilogram)
      return Square_Kilogram;

Fraser.