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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,309015504ed37ff0
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-09-30 07:53:50 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: mheaney@on2.com (Matthew Heaney)
Newsgroups: comp.lang.ada
Subject: Re: Usage of Interfaces with Ada 95
Date: 30 Sep 2003 07:53:49 -0700
Organization: http://groups.google.com
Message-ID: <1ec946d1.0309300653.6ce1fc70@posting.google.com>
References: <fh6e41-vfo.ln1@boavista.snafu.de>
 <1064595326.831730@master.nyc.kbcfp.com> <u65jdiro7.fsf@earthlink.net>
 <4nii41-067.ln1@boavista.snafu.de> <u1xu1htgl.fsf@earthlink.net>
 <x7vy8w8rg9h.fsf@smaug.pushface.org> <u8yo8h8v1.fsf@earthlink.net>
 <x7vr81zxslf.fsf@smaug.pushface.org> <u3cefgq26.fsf@earthlink.net>
NNTP-Posting-Host: 66.162.65.162
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1064933630 22468 127.0.0.1 (30 Sep 2003 14:53:50
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 30 Sep 2003 14:53:50 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:17
Date: 2003-09-30T07:53:49-07:00
List-Id: <comp.lang.ada>

Matthew Heaney <matthewjheaney@earthlink.net> wrote in message news:<u3cefgq26.fsf@earthlink.net>...
>
> Now let's use the a Charles list (say) to instantiate the Simon
> algorithm:
> 
>    procedure Op (List : in List_Subtype) is
> 
>       procedure Process (I : IT) is ...;
> 
>       function Is_Done (I : IT) return Boolean is
>       begin
>          return I /= Back (List);
>       end;

oops!  Of course that should have been:

   function Is_Done (I : IT) return Boolean is
   begin
      return I = Back (List);
   end;