Figure 10.
Better output.
<![CDATA[
------------------------------------------------------------
-- If there are many places in your program where
-- dimensional data types will be printed, it might be worth
-- while to do write a function to do it.
with DIM_INT_32; use DIM_INT_32;
with STANDARD_INTEGERS; use STANDARD_INTEGERS;
with TEXT_IO; use TEXT_IO;
procedure Program_Fragment is
type Feet is new DIM_INT_32.Units;
PRESENT_POSITION : Feet;
procedure put(X : Feet) is
begin
put(Integer_32'IMAGE(Dimensionless(X)));
put(" feet");
end put;
begin
PRESENT_POSITION := Type_Convert(10);
put("The present position is");
put(PRESENT_POSITION);
put_line(".");
end Program_Fragment;
]]>