Matthew Heaney a �crit dans le message ...
>"David C. Hoos, Sr." <david.c.hoos.sr@ada95.com> writes:
>
>> It's probably better to use an instantiation of Text_IO.Float_IO.Put...
>
>Since subtype Float was being used, a better choice may be the
>predefined package Ada.Float_Text_IO, which was specifically intended to
>remove the entry barrier for neophyte Ada programmers.
>
>A very subtle point: Float_Text_IO is _not_ an instantiation of
>Text_IO.Float_IO.  It takes Float parameters, and looks just like an
>instantiation of Float_IO, but it is not actually an instantiation of
>Float_IO.
>

This is not my reading of the reference manual. In A.10.9 we can read :

-----------------------------------------------------------
(32)
Float_Text_IO is a library package that is a nongeneric equivalent to
Text_IO.Float_IO for the predefined type Float:

(33)
       with Ada.Text_IO;
       package Ada.Float_Text_IO is new Ada.Text_IO.Float_IO(Float);

(34)
For each predefined floating point type, a nongeneric equivalent to
Text_IO.Float_IO is provided, with names such as Ada.Long_Float_Text_IO.
Implementation Permissions

(37)
The nongeneric equivalent packages may, but need not, be actual
instantiations of the generic package for the appropriate predefined type.
-----------------------------------------------------------

The point (37) say that it may be actual instantiations of the generic
package. So your point is
fine for full compatibility with all Ada compiler but you can't say that
Float_Text_IO is not an
instantiation of Ada.Text_IO.Float_IO. In fact I'am pretty sure that most
compilers will do that.

Pascal.