From: Robin Messer <rpmesser@googlemail.com>
Subject: Re: Minor SPARK problem concerning 'redundant' with clauses.
Date: Thu, 11 Jun 2009 01:52:20 -0700 (PDT)
Date: 2009-06-11T01:52:20-07:00 [thread overview]
Message-ID: <0dbb205a-71fd-4b06-a99e-e6c2c9b27fa8@21g2000vbk.googlegroups.com> (raw)
In-Reply-To: 445038cd-3a8b-4222-a49b-3b64d4fc3c72@r3g2000vbp.googlegroups.com
Britt is right. The correct solution is to move the "with" to the
package
body. As an aside, the SPARK Examiner recognises certain pragmas, but
in
the majority of cases it just issues a warning and continues its
analysis.
It is, however, a bit more fussy about where pragmas can be placed.
The following code is accepted by the Examiner (with a warning about
the
pragma).
pragma Warnings (Off);
with Q;
--# inherit Q;
package P
is
type T is range 0 .. 100;
end P;
--
Robin
prev parent reply other threads:[~2009-06-11 8:52 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-10 19:31 Minor SPARK problem concerning 'redundant' with clauses xorquewasp
2009-06-10 20:11 ` sjw
2009-06-10 20:55 ` britt.snodgrass
2009-06-11 8:45 ` xorque
2009-06-11 8:52 ` Robin Messer [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox