From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: RE: U : Unbounded_String := "bla bla bla"; (was: Is the Writing...)
Date: Fri, 03 Oct 2003 22:41:17 +0200
Date: 2003-10-03T22:41:17+02:00 [thread overview]
Message-ID: <blkmk1$dhfkm$1@ID-77047.news.uni-berlin.de> (raw)
In-Reply-To: mailman.29.1065182628.25614.comp.lang.ada@ada-france.org
amado.alves wrote:
> "...we already have implicit conversion in Ada for numeric literals."
> (Jeff)
>
> I know, and that was the 'precedent' for my proposal. And I'm familiar
> with the 'nightmare' of generalised implicit conversion (in C). But this
> could be tamed in Ada by defining the effect scope of pragma
> Implicit_Conversion to be the immediately enclosing block.
>
> Or a family of such pragmas for fine control of the effect:
>
> Implicit_Conversion_Down_From_Here
> Implicit_Conversion_Up_To_The_Next_Enclosing_Block
> Implicit_Conversion_All_Over
>
> However I am not totally confortable with *pragmas* for this class of
> effect. Is their precedence?
It would be awful. The only way *any* conversion may appear is a definition
of a derived type.
type B is new A with ...; -- This inherits and defines a [view] conversion
Similarly there should be a way to *not* inherit an implementation of A, but
provide all necessary conversions instead.
--
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2003-10-03 20:41 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-03 12:00 U : Unbounded_String := "bla bla bla"; (was: Is the Writing...) amado.alves
2003-10-03 15:54 ` Mark A. Biggar
2003-10-03 20:41 ` Dmitry A. Kazakov [this message]
-- strict thread matches above, loose matches on Subject: below --
2003-10-03 16:12 amado.alves
2003-10-04 12:16 ` Preben Randhol
2003-10-02 18:02 amado.alves
2003-10-03 0:05 ` U : Unbounded String : " Alexander Kopilovitch
2003-10-03 20:46 ` Dmitry A. Kazakov
2003-10-03 9:00 ` U : Unbounded_String := " Preben Randhol
2003-10-03 11:17 ` Jeff C,
2003-10-04 2:49 ` Robert I. Eachus
2003-10-06 23:57 ` Alexandre E. Kopilovitch
2003-10-07 8:51 ` Dmitry A. Kazakov
2003-10-08 19:12 ` Alexandre E. Kopilovitch
2003-10-09 8:42 ` Dmitry A. Kazakov
2003-10-10 20:58 ` Alexander Kopilovitch
2003-10-13 8:35 ` Dmitry A. Kazakov
2003-10-13 21:43 ` Alexandre E. Kopilovitch
2003-10-14 8:09 ` Dmitry A. Kazakov
2003-10-16 9:39 ` Alexandre E. Kopilovitch
2003-10-18 10:57 ` Dmitry A. Kazakov
2003-10-08 23:18 ` Robert I. Eachus
2003-10-09 21:35 ` Alexandre E. Kopilovitch
2003-10-10 18:10 ` Robert I. Eachus
2003-10-11 19:43 ` Alexandre E. Kopilovitch
2003-10-12 5:03 ` Robert I. Eachus
2003-10-13 9:07 ` Dmitry A. Kazakov
2003-10-13 14:36 ` Alexandre E. Kopilovitch
2003-10-13 19:46 ` Robert I. Eachus
2003-10-14 1:35 ` Jeffrey Carter
2003-10-14 17:11 ` Alexandre E. Kopilovitch
2003-10-14 20:26 ` Mark A. Biggar
2003-10-14 20:58 ` Robert I. Eachus
2003-10-15 16:59 ` Alexandre E. Kopilovitch
2003-10-15 20:38 ` (see below)
2003-10-16 0:31 ` Alexandre E. Kopilovitch
2003-10-16 2:30 ` (see below)
2003-10-16 13:54 ` Alexandre E. Kopilovitch
2003-10-16 14:11 ` (see below)
2003-10-16 8:01 ` Dmitry A. Kazakov
2003-10-17 20:26 ` Randy Brukardt
2003-10-17 21:39 ` Alexandre E. Kopilovitch
2003-10-17 23:03 ` Robert I. Eachus
2003-10-23 21:11 ` Alexandre E. Kopilovitch
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox