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 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.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 14:14:04 -0500 Date: Thu, 26 Mar 2009 19:13:50 +0000 From: Tim Rowe User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably lots of other packages) References: <8c753bd7-3df6-418a-8cd7-342af6eadeff@g38g2000yqd.googlegroups.com> <49cb9cd8$0$31344$9b4e6d93@newsspool4.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-Xu61MpGtYWtPZUktebDe9vJDu0tSotqL0Rt8UcYrO/zPXF9ymHP4BhPQNgdv2oKaGGn7dBp1uj+zFG+!2ADGEODGWbZPktg3O8Z5g1siyBUuG5KRd3SUUUd8LtyxBZpeaNb6FZv6njGEA0yaXpxmkf4sqNvm!Px5Jc1H/9RVR 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: 2225 Xref: g2news1.google.com comp.lang.ada:4348 Date: 2009-03-26T19:13:50+00:00 List-Id: Ok, I'm still not getting importing to work. I have a package specification Foo.ads, which pure SPARK -- Examiner is happy with it. I have a package specification Bar.ads, in the same directory, which begins: with Foo; --# inherit Foo; (Which looks to me very like the example on p59 of the Spark95 manual that comes with the evaluation version of the examiner), but Examiner complains: Line 1 with Foo; ^1 --- ( 1) Warning : 1: The identifier Foo is either undeclared or not visible at this point. 2 --# inherit Foo; ^2 *** ( 2) Semantic Error : 1: The identifier Foo is either undeclared or not visible at this point. I'm still missing something obvious, aren't I?