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 2002:a24:3f4c:: with SMTP id
 d73-v6mr2401170ita.30.1530369262946;
        Sat, 30 Jun 2018 07:34:22 -0700 (PDT)
X-Received: by 2002:aca:4787:: with SMTP id
 u129-v6mr1149686oia.4.1530369262766;
 Sat, 30 Jun 2018 07:34:22 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!u78-v6no1373203itb.0!news-out.google.com!p13-v6ni2179itf.0!nntp.google.com!d7-v6no1391910itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 30 Jun 2018 07:34:22 -0700 (PDT)
In-Reply-To: <lytvpks65b.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5;
 posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
NNTP-Posting-Host: 2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5
References: <70c11a71-3832-4f57-8127-f3f1c48a052f@googlegroups.com>
 <ly1scotsqq.fsf@pushface.org>
 <62e38ee4-f72f-4ed8-bef1-952040fb7f8d@googlegroups.com>
 <lytvpks65b.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <472f58a9-6c35-441b-8d38-4363c8be06a2@googlegroups.com>
Subject: Re: Strange crash on custom iterator
From: Lucretia <laguest9000@googlemail.com>
Injection-Date: Sat, 30 Jun 2018 14:34:22 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:53477
Date: 2018-06-30T07:34:22-07:00
List-Id: <comp.lang.ada>

On Saturday, 30 June 2018 15:25:39 UTC+1, Simon Wright  wrote:

> First, I think Has_Element should probably be

Thanks, BTW :)