From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,81bb2ce65a3240c3 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Received: by 10.68.232.42 with SMTP id tl10mr11222245pbc.7.1335594776702; Fri, 27 Apr 2012 23:32:56 -0700 (PDT) Path: r9ni107212pbh.0!nntp.google.com!news1.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: What would you like in Ada202X? Date: Sat, 28 Apr 2012 08:32:55 +0200 Organization: Ada @ Home Message-ID: References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5> NNTP-Posting-Host: loD0PV6iUYNrBsqtOkhCkA.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.00 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable Date: 2012-04-28T08:32:55+02:00 List-Id: Le Sat, 28 Apr 2012 01:25:45 +0200, Randy Brukardt = a =C3=A9crit: > "Yannick Duch=C3=AAne (Hibou57)" wrote in m= essage > news:op.wdeqz6wkule2fv@douda-yannick... > Le Fri, 27 Apr 2012 01:50:07 +0200, Randy Brukardt > a =C3=A9crit: >>> I tried to suggest making objects overloadable >> I'm not sure to see. Objects of the same name with different types in= = >> the >> same declaration list? >> >> E : Cat_Type; >> E : Rabbit_Type; >> >> ? > > I don't think I went that far, but they would be overloadable for the > purposes of resolution. So you would not get a conflict if those two = > objects > were declared in different packages made visible by use-clauses. > > This is essentially the idea that you (was it you?) have talked about = = > about making functions and constants work the same. Yes, was me (red=E2=80=91face) > It wouldn't make sense to do > that for *only* constants (changing something from a constant to a = > variable > shouldn't break any uses!), but it could make sense for all objects. Good point, indeed. -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity