From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: Re: SPARK and Interfaces.C
Date: Mon, 23 May 2005 16:10:08 +0100
Date: 2005-05-23T16:10:08+01:00 [thread overview]
Message-ID: <ZBIWkOBQJfkCJwZt@diphi.demon.co.uk> (raw)
In-Reply-To: jzj4YsA$rdkCJw85@diphi.demon.co.uk
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
next prev parent reply other threads:[~2005-05-23 15:10 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-05-13 17:34 SPARK and Interfaces.C ich_bin_elvis
2005-05-13 19:40 ` JP Thornley
2005-05-14 12:15 ` Rod Chapman
2005-05-14 13:31 ` Martin Dowie
2005-05-14 15:41 ` Rod Chapman
2005-05-17 10:55 ` ich_bin_elvis
2005-05-17 14:40 ` Rod Chapman
2005-05-19 8:12 ` ich_bin_elvis
2005-05-19 8:46 ` ich_bin_elvis
2005-05-19 9:01 ` Rod Chapman
2005-05-19 10:25 ` ich_bin_elvis
2005-05-21 22:52 ` JP Thornley
2005-05-23 9:48 ` ich_bin_elvis
2005-05-23 13:30 ` JP Thornley
2005-05-23 15:10 ` JP Thornley [this message]
2005-05-24 8:57 ` ich_bin_elvis
2005-05-24 10:36 ` JP Thornley
2005-05-24 20:34 ` ich_bin_elvis
2005-05-25 7:54 ` JP Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox