From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Min/Max attribute makes promises it can't keep
Date: Wed, 28 Apr 2010 16:53:25 +0200
Date: 2010-04-28T16:53:22+02:00 [thread overview]
Message-ID: <1t4extnm6iluj.r4x652cntogc$.dlg@40tude.net> (raw)
In-Reply-To: 4bd841e7$0$7658$9b4e6d93@newsspool1.arcor-online.net
On Wed, 28 Apr 2010 16:10:46 +0200, Georg Bauhaus wrote:
> On 28.04.10 15:41, Dmitry A. Kazakov wrote:
>
>> Well, the proposal might be to fix rather the issue of the superfluous
>> subtype specification. Obviously Max (and many other attributes) are
>> primitive operations and need no subtype to specify. So:
>>
>> X'Succ, X'Pred, X'Image
>
> That'll be fun:
>
> C'Succ'Succ
>
> 'C'&'&''Succ
>
> ''''Succ
>
> (M + N)'Succ
This is a slightly different design flaw. Things like "abc"'Length,
"abc"'First are illegal in Ada. No fun!
BTW, if you prefer dotted notation it could be
X.Succ
as well.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2010-04-28 14:53 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 [this message]
2010-04-28 21:07 ` Randy Brukardt
2010-04-28 22:17 ` Dmitry A. Kazakov
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