Re: SPARK Examiner -- visibility of Ada.Strings.Unbounded (and probably lots of other packages)

[Tim Rowe <spamtrap@tgrowe.plus.net>]

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?