From: Adam Beneschan <adam@irvine.com>
Subject: Re: Overring function and its returned type
Date: Fri, 9 Nov 2012 11:34:24 -0800 (PST)
Date: 2012-11-09T11:34:24-08:00 [thread overview]
Message-ID: <75ace21e-bb60-42bf-901b-53f5808b4e84@googlegroups.com> (raw)
In-Reply-To: <op.wnhvol1wule2fv@cardamome>
On Thursday, November 8, 2012 11:15:06 PM UTC-8, Hibou57 (Yannick Duchêne) wrote:
> If that could be OK to allow overriding functions to change their return
> type to a compatible type when this type is class wide, then is there a
> chance to add it as a last minute change for Ada 2012?
Although I'm not on the ARG, I can confidently say that the answer to this question is "absolutely not". What you're asking for is a major change that would need a lot of consideration to get the semantics right and make sure it wouldn't have any impact on any other part of the language. And at this point, I don't think even minor changes are being considered unless they're actual errors or perhaps editorial issues.
-- Adam
next prev parent reply other threads:[~2012-11-09 19:34 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-09 7:13 Overring function and its returned type Yannick Duchêne (Hibou57)
2012-11-09 7:22 ` Yannick Duchêne (Hibou57)
2012-11-09 8:24 ` Dmitry A. Kazakov
2012-11-09 9:14 ` Yannick Duchêne (Hibou57)
2012-11-09 13:11 ` Dmitry A. Kazakov
2012-11-09 21:36 ` Yannick Duchêne (Hibou57)
2012-11-09 19:24 ` Adam Beneschan
2012-11-09 19:34 ` Adam Beneschan [this message]
2012-11-09 22:00 ` J-P. Rosen
2012-11-09 22:30 ` Yannick Duchêne (Hibou57)
2012-11-09 19:57 ` sbelmont700
2012-11-09 21:10 ` Yannick Duchêne (Hibou57)
2012-11-09 21:56 ` sbelmont700
2012-11-10 0:28 ` Yannick Duchêne (Hibou57)
2012-11-10 2:35 ` Yannick Duchêne (Hibou57)
2012-11-15 15:13 ` Peter C. Chapin
2012-11-16 10:40 ` Maciej Sobczak
2012-11-16 12:39 ` Peter C. Chapin
2012-11-16 15:27 ` Maciej Sobczak
2012-11-16 17:29 ` Peter C. Chapin
2012-11-17 4:16 ` Yannick Duchêne (Hibou57)
2012-11-17 19:11 ` Robert A Duff
2012-11-18 14:53 ` AdaMagica
2012-11-19 8:41 ` Yannick Duchêne (Hibou57)
2012-11-19 13:04 ` AdaMagica
2012-11-19 15:19 ` Dmitry A. Kazakov
2012-11-19 23:42 ` Randy Brukardt
2012-11-10 7:55 ` Randy Brukardt
2012-11-11 1:02 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox