From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Min/Max attribute makes promises it can't keep
Date: Thu, 29 Apr 2010 00:17:05 +0200
Date: 2010-04-29T00:17:02+02:00 [thread overview]
Message-ID: <1p28brlj9yc3k$.1nv0ey1aadvoi$.dlg@40tude.net> (raw)
In-Reply-To: hra82e$i18$1@munin.nbi.dk
On Wed, 28 Apr 2010 16:07:24 -0500, Randy Brukardt wrote:
> As for the initial concern about giving a subtype name, in the case of
> literals you have to give one somewhere (since a literal can be of many
> different types, and the results can vary depending on the type used -- not
> for 'Length, but for 'Last and most other properties).
No problem, Ada supports overloading in the result type. E.g. abs (-1) is
OK.
(I have an impression that many weird Ada rules rooted in an attempt to
express them at the grammar level.)
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-04-28 22:17 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-27 19:34 Min/Max attribute makes promises it can't keep Alex Mentis
2010-04-27 20:20 ` Martin
2010-04-27 21:16 ` Robert A Duff
2010-04-27 22:46 ` Randy Brukardt
2010-04-28 10:36 ` Alex Mentis
2010-04-28 10:58 ` AdaMagica
2010-04-28 11:37 ` Gautier write-only
2010-04-28 11:47 ` AdaMagica
2010-04-28 13:28 ` Martin
2010-04-28 13:41 ` Dmitry A. Kazakov
2010-04-28 14:10 ` Georg Bauhaus
2010-04-28 14:53 ` Dmitry A. Kazakov
2010-04-28 21:07 ` Randy Brukardt
2010-04-28 22:17 ` Dmitry A. Kazakov [this message]
2010-05-01 5:42 ` Randy Brukardt
2010-05-01 6:28 ` Dmitry A. Kazakov
2010-04-29 4:41 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox