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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,51bff7cd4c35a15d X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.204.154.133 with SMTP id o5mr505145bkw.0.1339073660597; Thu, 07 Jun 2012 05:54:20 -0700 (PDT) Path: e27ni23719bkw.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!news.musoftware.de!wum.musoftware.de!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!usenet-fr.net!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Thu, 07 Jun 2012 14:54:22 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada2012 : In praise of 'for ... of ... loop'... References: <74e4e6b5-20bd-4388-b4a0-dfbecc8070be@googlegroups.com> <4fc4e51d$0$6566$9b4e6d93@newsspool4.arcor-online.net> <371a4b67-1969-4cd5-90f4-d58a9b276f29@googlegroups.com> <4fc69e72$0$6633$9b4e6d93@newsspool2.arcor-online.net> <4fd0a19b$0$9505$9b4e6d93@newsspool1.arcor-online.net> In-Reply-To: <4fd0a19b$0$9505$9b4e6d93@newsspool1.arcor-online.net> Message-ID: <4fd0a47b$0$9514$9b4e6d93@newsspool1.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 07 Jun 2012 14:54:19 CEST NNTP-Posting-Host: 7b0fd2ba.newsspool1.arcor-online.net X-Trace: DXC=LU^i8`]7oOmIkjb;<8iR=aic==]BZ:afn4Fo<]lROoRankgeX?EC@@`jD]=Ch2TYTbnc\616M64>jLh>_cHTX3jmN>^jYgG`3Ke X-Complaints-To: usenet-abuse@arcor.de Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-06-07T14:54:19+02:00 List-Id: On 07.06.12 14:42, Georg Bauhaus wrote: > Using Ada 2012, the following looks nice, but might not (currently?) be possible, because Cursor (detailed below) is an incomplete tagged > formal type of Iterator_Interfaces, and can't be used here: