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=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.52.190.163 with SMTP id gr3mr234503vdc.3.1408604763829; Thu, 21 Aug 2014 00:06:03 -0700 (PDT) X-Received: by 10.140.36.66 with SMTP id o60mr2174qgo.28.1408604763679; Thu, 21 Aug 2014 00:06:03 -0700 (PDT) Path: backlog4.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!m5no1562824qaj.0!news-out.google.com!ef6ni5522igb.0!nntp.google.com!m5no1562812qaj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 21 Aug 2014 00:06:03 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=193.71.180.114; posting-account=uulyKwoAAAA86DO0ODu--rZtbje8Sytn NNTP-Posting-Host: 193.71.180.114 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Some problems with iterators From: Egil H H Injection-Date: Thu, 21 Aug 2014 07:06:03 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:188587 Date: 2014-08-21T00:06:03-07:00 List-Id: On Wednesday, August 20, 2014 6:48:53 PM UTC+2, Victor Porton wrote: > Why Ada2012 does allow only type name for an iterator in for loops, Please provide an example, or better yet, an RM reference, I can't find any for-loop that takes a type name for an iterator. > not an iterator object? But we can, RM 5.5.2(2/3). > I think, it is a design mistake. Clearly not. > The following does not verify with GCC 4.9.1 (I think it is a compiler bug > and have reported this bug in GCC Bugzilla): What error do you get? I believe the rest of your post was answered in this thread: https://groups.google.com/forum/?authuser=0#!searchin/comp.lang.ada/porton$20$27class%7Csort:date/comp.lang.ada/J-orbhzFZ-8/kF9YuqKIQNQJ