comp.lang.ada
 help / color / mirror / Atom feed
From: Laurie Dillon <lauradillo@gmail.com>
Subject: Re: SPARK examiner visibility problem
Date: Sun, 13 Sep 2009 21:26:04 -0700 (PDT)
Date: 2009-09-13T21:26:04-07:00	[thread overview]
Message-ID: <2fcfb6b1-4bc3-4c36-801a-1b3a49971b41@s39g2000yqj.googlegroups.com> (raw)
In-Reply-To: f63375ca-b457-4456-9198-56691d70d2a5@g19g2000yqo.googlegroups.com

On Sep 13, 8:32 pm, 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



  reply	other threads:[~2009-09-14  4:26 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-09-13 22:47 SPARK examiner visibility problem Laurie Dillon
2009-09-14  0:32 ` Britt
2009-09-14  4:26   ` Laurie Dillon [this message]
2009-09-14  6:28 ` Ludovic Brenta
2009-09-14  8:16   ` Phil Thornley
2009-09-14  7:40 ` Phil Thornley
2009-09-14 16:12 ` Phil Thornley
2009-09-14 22:44   ` Laurie Dillon
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox