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,b2df4819ac8b566a
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsfeed.stueberl.de!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!diphi.demon.co.uk!jpt
From: JP Thornley <jpt@diphi.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: SPARK and Interfaces.C
Date: Mon, 23 May 2005 14:30:39 +0100
Message-ID: <jzj4YsA$rdkCJw85@diphi.demon.co.uk>
References: <1116005688.002279.128010@g43g2000cwa.googlegroups.com>
 <kecpj3CVKQhCJwnA@diphi.demon.co.uk>
 <1116072937.506109.246460@g47g2000cwa.googlegroups.com>
 <1116327342.680775.205190@o13g2000cwo.googlegroups.com>
 <1116340818.264418.117280@g14g2000cwa.googlegroups.com>
 <1116492378.074823.321470@g43g2000cwa.googlegroups.com>
 <1116493274.004505.67590@g49g2000cwa.googlegroups.com>
 <1116498302.651121.297610@g49g2000cwa.googlegroups.com>
 <4lZe9SBIv7jCJwn3@diphi.demon.co.uk>
 <1116841716.694148.260010@g43g2000cwa.googlegroups.com>
NNTP-Posting-Host: diphi.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain;charset=us-ascii;format=flowed
X-Trace: news.demon.co.uk 1116855111 26719 80.177.171.182 (23 May 2005
 13:31:51 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Mon, 23 May 2005 13:31:51 +0000 (UTC)
User-Agent: Turnpike/6.04-S (<Z85li+KVasMs8QFOrfdcArFLQO>)
Xref: g2news1.google.com comp.lang.ada:11123
Date: 2005-05-23T14:30:39+01:00
List-Id: <comp.lang.ada>

In article <1116841716.694148.260010@g43g2000cwa.googlegroups.com>, 
ich_bin_elvis@hotmail.com writes
>           Examining the specification of package Elementary_Functions
>...
>
>   1  package Ada.Numerics.Elementary_Functions is
>                  ^
>***        Semantic Error    :  1: The identifier Numerics is either
>undeclared
>or
>           not visible at this point.

One of the more unexpected rules in SPARK is that a child package has to 
explicitly inherit its parent (although no with clause is required).

Add
--# inherit Ada.Numerics;
to the Elementary_Functions child and you should be OK.

Cheers,

Phil

-- 
JP Thornley