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: a07f3367d7,a094903f87897fa4
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!s39g2000yqj.googlegroups.com!not-for-mail
From: Laurie Dillon <lauradillo@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: SPARK examiner visibility problem
Date: Sun, 13 Sep 2009 21:26:04 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <2fcfb6b1-4bc3-4c36-801a-1b3a49971b41@s39g2000yqj.googlegroups.com>
References: <8d72d20b-489b-4494-9b13-1b00ee902850@j4g2000yqa.googlegroups.com>
	<f63375ca-b457-4456-9198-56691d70d2a5@g19g2000yqo.googlegroups.com>
NNTP-Posting-Host: 24.11.160.6
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1252902365 14263 127.0.0.1 (14 Sep 2009 04:26:05
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 14 Sep 2009 04:26:05 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: s39g2000yqj.googlegroups.com; posting-host=24.11.160.6;
	posting-account=1Qf4bgoAAACCVzZU3e8q6VmsNa4hU5j_
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.3)
	Gecko/20090824 Firefox/3.5.3 (.NET CLR 3.5.30729),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8317
Date: 2009-09-13T21:26:04-07:00
List-Id: <comp.lang.ada>

On Sep 13, 8:32=A0pm, Britt <britt.snodgr...@gmail.com> wrote:
> There are several things that can cause the visibility error message
> you are seeing. Have you created an index file (using sparkmake) that
> tells the Examiner where to find each of the source files? You will
> need to pass the index file to the Examiner with the /index_file
> switch.
>
> - Britt

Yes, I have an index file and it is passed with the index_file
switch.  I don't think that is the problem since the examiner
apparently thinks Std_IO.Put_Line is visible, which is also declared
in the same file ...

But thanks for the reply.

Laurie