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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.36.65.209 with SMTP id b78mr5835973itd.15.1518830001940;
        Fri, 16 Feb 2018 17:13:21 -0800 (PST)
X-Received: by 10.157.112.141 with SMTP id l13mr289975otj.1.1518830001735;
 Fri, 16 Feb 2018 17:13:21 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w142no600178ita.0!news-out.google.com!s63ni1022itb.0!nntp.google.com!o66no602649ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 16 Feb 2018 17:13:21 -0800 (PST)
In-Reply-To: <ca3b1e69-49d5-4a6b-9f53-364036e0e467@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=82.154.189.250;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 82.154.189.250
References: <634e9064-33f8-42c0-9032-e630f98c89d4@googlegroups.com>
 <1d7b8c25-b206-4ad0-b3ab-1ee1b8b34dc8@googlegroups.com>
 <29277750-1fc5-4d1d-96d4-a3ac9b5ec755@googlegroups.com>
 <p5v89f$2el$2@dont-email.me>
 <fe53bf8c-f450-4cd2-8d34-f1f96f4f7ded@googlegroups.com>
 <d49a59a8-0d64-4420-b103-273b316f2057@googlegroups.com>
 <03f8711d-bca3-4389-b980-d0abc308c719@googlegroups.com>
 <d4474dcd-d26b-4103-961c-bfc9b97d8b45@googlegroups.com>
 <66ff85f0-0550-4568-afe9-49eb85e6ab55@googlegroups.com>
 <fae43e54-3949-4ab8-8708-554888f7de63@googlegroups.com>
 <ca3b1e69-49d5-4a6b-9f53-364036e0e467@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <828e82e4-76e7-4cca-8a7b-a2aa82d181de@googlegroups.com>
Subject: Re: troubles learning OOP: expected type "Parent.Some_Child", found
 type Parent'Class
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Sat, 17 Feb 2018 01:13:21 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1932
X-Received-Body-CRC: 1188298925
Xref: reader02.eternal-september.org comp.lang.ada:50478
Date: 2018-02-16T17:13:21-08:00
List-Id: <comp.lang.ada>

... Solution: Formal_Indefinite_Vector doesn't implement the Iterator interface, or so says GPS. Just removed Formal_ everywhere... But I don't get why, for the sake of performance, they didn't make it derive from Iterator.