comp.lang.ada
 help / color / mirror / Atom feed
From: "Pascal Obry" <p.obry@der.edf.fr>
Subject: Re: i need help w/problem
Date: 1999/02/23
Date: 1999-02-23T00:00:00+00:00	[thread overview]
Message-ID: <7atsia$cob$1@cf01.edf.fr> (raw)
In-Reply-To: m3zp66ffgs.fsf@mheaney.ni.net

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1640 bytes --]

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.






  reply	other threads:[~1999-02-23  0:00 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-02-21  0:00 i need help w/problem zufandel
1999-02-22  0:00 ` Allan Davis
1999-02-22  0:00   ` Corey Ashford
1999-02-22  0:00     ` robert_dewar
1999-02-22  0:00       ` Matthew Heaney
1999-02-22  0:00         ` Mike Silva
1999-02-22  0:00           ` Nick Roberts
1999-02-22  0:00           ` zufandel
1999-02-22  0:00           ` dennison
1999-02-22  0:00       ` dennison
1999-02-22  0:00         ` zufandel
1999-02-22  0:00     ` David C. Hoos, Sr.
1999-02-22  0:00       ` Matthew Heaney
1999-02-23  0:00         ` Pascal Obry [this message]
1999-02-23  0:00           ` Matthew Heaney
1999-02-22  0:00   ` bill
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox