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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,4215feeab2a8154a X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!aioe.org!not-for-mail From: John McCabe Newsgroups: comp.lang.ada Subject: Re: Language checks (Was: C++0x and Threads - a poor relation to Ada's tasking model?) Date: Fri, 14 Aug 2009 15:51:11 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <4A83D107.2020407@obry.net> <196q25f7ntf6a$.tj10ulon3mmt.dlg@40tude.net> <4A83F9C2.3000700@obry.net> <1376nmezwawim.1mqgiaglsrvwe.dlg@40tude.net> <874osar63q.fsf_-_@jspa-nykredit.sparre-andersen.dk> <5teik046uoaz.dust9cbmbaxl.dlg@40tude.net> <09abf252-0517-4320-975c-63e834cc54ae@w41g2000yqb.googlegroups.com> <1pqa851l5mpctr75uhvv95b943p4t9rlep@4ax.com> NNTP-Posting-Host: RXEkuaSUwmKe0XIGFYSK7A.user.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.7.9 X-Newsreader: Forte Agent 2.0/32.652 Cancel-Lock: sha1:yZZWvEPHD5EQ5dKuCkiiZtxnFQk= Xref: g2news2.google.com comp.lang.ada:7790 Date: 2009-08-14T15:51:11+01:00 List-Id: On Fri, 14 Aug 2009 14:48:56 +0100, John McCabe wrote: >On Fri, 14 Aug 2009 06:33:21 -0700 (PDT), REH >wrote: > >>On Aug 14, 8:01�am, "Dmitry A. Kazakov" >>wrote: >>> declare >>> � �B_View : array (Index range A'Range) of Element renames B; >>> begin >> >>I didn't know you could do that! That's very cool. So, as long as the >>element type and length are the same, Ada will let you change the >>index type in a rename? > >I think I read about that recently in M. Ben-Ari's book. It's pretty >cool. Oops - I guess that wasn't what I read about! Never mind.