From: Simon Wright <simon@pushface.org>
Subject: Re: Two approaches of iterators for the key-value pairs
Date: Sat, 28 Nov 2015 23:34:40 +0000
Date: 2015-11-28T23:34:40+00:00 [thread overview]
Message-ID: <lyzixx1ywf.fsf@pushface.org> (raw)
In-Reply-To: 247bcf0b-af39-4e78-abe9-aa4810042f98@googlegroups.com
Brad Moore <bmoore.ada@gmail.com> writes:
> My comment was about having to create an extra declaration in the
> packages Ada.Directories and Ada.Environment_Variables to define a
> container type.
Yes, I got that. I'm just saying that we call this extra type a
container type because it was invented in the context of Ada.Containers;
ARM 5.5.2(3) says
"For the second form of iterator_specification [that is, the form
that uses 'of'], the expected type for the iterable_name is any array
or iterable container type. If the iterable_name denotes an array
object, the iterator_specification is called an array component
iterator; otherwise it is called a container element iterator."
but we are now discovering that we don't just want to use it for
containers, rather for anything we might want to iterate over, such as
directory entries, prime numbers, ...
I suspect we could delete the word 'container' throughout the existing
5.5.2 (and 4.1.6) without losing anything significant. There'd have to
be a hint about the point of it all, of course!
next prev parent reply other threads:[~2015-11-28 23:34 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-11-27 15:25 Two approaches of iterators for the key-value pairs ytomino
2015-11-27 16:30 ` Dmitry A. Kazakov
2015-11-27 18:08 ` ytomino
2015-11-27 20:50 ` Dmitry A. Kazakov
2015-11-27 22:52 ` bj.mooremr
2015-11-27 17:00 ` Pascal Obry
2015-11-27 18:25 ` ytomino
2015-11-27 17:43 ` Brad Moore
2015-11-27 19:38 ` ytomino
2015-11-27 19:46 ` ytomino
2015-11-27 23:11 ` Brad Moore
2015-11-28 8:58 ` Simon Wright
2015-11-28 19:54 ` Brad Moore
2015-11-28 23:34 ` Simon Wright [this message]
2015-11-29 21:17 ` Bob Duff
2015-11-29 16:17 ` Simon Wright
2015-11-29 17:55 ` ytomino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox