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-Thread: 103376,7b0188e023be40b6,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!backlog2.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 26 Mar 2009 09:50:43 -0500
Date: Thu, 26 Mar 2009 14:50:29 +0000
From: Tim Rowe <spamtrap@tgrowe.plus.net>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably
 lots of other packages)
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <MrqdnWzwueTeC1bUnZ2dnUVZ8r-WnZ2d@posted.plusnet>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-udgKe5Cqul7tiD4ltjJom0i55tR3MaJCcpMQVaU31jvqZ6ofn8EQAWiHKCgGREvgjUAbM/CU1OygVVz!iFGCUVFJhsxAGkDMVpEtHqPqV0hxZroHq1p0NY1SnfSJRbVXqOonIA/PcMdxzUuJ4mNsfnGUBWwr!lPK/Hcto0iBR
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.39
X-Original-Bytes: 1954
Xref: g2news2.google.com comp.lang.ada:5306
Date: 2009-03-26T14:50:29+00:00
List-Id: <comp.lang.ada>

Now that a GPL version of SPARK Examiner has been announced, I suppose 
this group will be getting a flood of queries on how to use it. Well, I 
hope so, because that would indicate a large take-up -- good for 
software as a whole, and presumably what Praxis HIS and AdaCore are 
hoping for.

So let me try to get in ahead of the flood. I'm trying to put my Ada 
learning exercise into SPARK, and I'm using the evaluation version of 
Examiner (and the gnat compiler). I have
    with Ada.Strings.Unbounded;
at the start of a package file, and SPARK Examiner complains:
    1  with Ada.Strings.Unbounded;
            ^1
--- (  1)  Warning           :  1: The identifier Ada is either 
undeclared or not
            visible at this point.

I can't work out how to make Ada.Strings.Unbounded visible to examiner. 
Could somebody point me to what I'm missing, please?

Thanks!