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!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.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 16:10:08 +0100
Message-ID: <ZBIWkOBQJfkCJwZt@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>
 <jzj4YsA$rdkCJw85@diphi.demon.co.uk>
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 1116861044 5571 80.177.171.182 (23 May 2005 15:10:44
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Mon, 23 May 2005 15:10:44 +0000 (UTC)
User-Agent: Turnpike/6.04-S (<154liqHdas8o4TFOrjYcAbTP8f>)
Xref: g2news1.google.com comp.lang.ada:11125
Date: 2005-05-23T16:10:08+01:00
List-Id: <comp.lang.ada>

In article <jzj4YsA$rdkCJw85@diphi.demon.co.uk>, JP Thornley 
<jpt@diphi.demon.co.uk> writes
>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.
(Sorry about following up my own post...) but I've just realised that if 
both specifications are in the same file then that will pass the 
Examiner without an inherit clause.

I don't know whether this is intended behaviour, or an undocumented 
feature ;-)

Cheers,

Phil
-- 
JP Thornley