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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6d79efdb8dde2c5a
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!f6g2000yqa.googlegroups.com!not-for-mail
From: Phil Thornley <phil.jpthornley@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK : third example for Roesetta - reviewers welcome
Date: Mon, 16 Aug 2010 10:11:11 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <444e40eb-c53b-428d-a4e3-0821655b980c@f6g2000yqa.googlegroups.com>
References: <op.vhguffh3ule2fv@garhos>
 <87aaonlk1h.fsf@hugsarin.sparre-andersen.dk>
 <op.vhhxe1caxmjfy8@garhos>
NNTP-Posting-Host: 80.177.171.182
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1281978671 24026 127.0.0.1 (16 Aug 2010 17:11:11
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 16 Aug 2010 17:11:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: f6g2000yqa.googlegroups.com; posting-host=80.177.171.182;
 posting-account=Fz1-yAoAAACc1SDCr-Py2qBj8xQ-qC2q
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64;
 Trident/4.0; SLCC2; .NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR
 3.0.30729; Media Center PC 6.0; .NET4.0C),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:13421
Date: 2010-08-16T10:11:11-07:00
List-Id: <comp.lang.ada>

On 15 Aug, 21:19, Yannick Duch=EAne (Hibou57) <yannick_duch...@yahoo.fr>
wrote:
[...]
> > The procedure Search should be placed in a package of its own (in theor=
y
> > it is reusable), and the demonstration program should be a library leve=
l
> > procedure. =A0There is no reason to make the example code more complica=
ted
> > than that.
>
> Yes, that was silly after all. I will split it into proper spec, body and=
 =A0
> program, this is indeed strongly advised to expose a good example.

I don't think that further discussion about the best way to code this
example is going to achieve much.

So, Yannick, if you do this split of the package and the main (test)
program into two separate units then I will add the alternative
implementation of the package.  It will need some careful explanations
of what it all means but that seems to be the best way forward at
present.

Then once I've put something up we can get opinions on how to proceed
further.

Cheers,

Phil