From: xorquewasp@googlemail.com
Subject: Re: SPARK constants across packages
Date: Sun, 7 Jun 2009 10:34:28 -0700 (PDT)
Date: 2009-06-07T10:34:28-07:00 [thread overview]
Message-ID: <c11c001f-57d0-426c-a8f3-847d6a5e8b22@w40g2000yqd.googlegroups.com> (raw)
In-Reply-To: 270915f0-2b00-40ae-bf37-97c2796f1837@r3g2000vbp.googlegroups.com
Phil Thornley wrote:
> The place to look first for any "why does SPARK excluded this"
> question is Section 4 of the SPARK95 manual - "Considerations in the
> Refinement of the Ada Subset".
Oh, right.
> For this particular query the answer is (in 4.1) that the meaning of
> the program must not be changed by different orders of elaboration.
> "This particular problem is overcome in SPARK by the restrictions
> imposed on ... initialization expressions."
Thanks.
Perhaps SPARK 05 might stretch to allowing this when the source
value is in a Pure package.
Perhaps not.
prev parent reply other threads:[~2009-06-07 17:34 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-07 16:53 SPARK constants across packages xorquewasp
2009-06-07 17:21 ` Phil Thornley
2009-06-07 17:34 ` xorquewasp [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