From: xorquewasp@googlemail.com
Subject: SPARK constants across packages
Date: Sun, 7 Jun 2009 09:53:00 -0700 (PDT)
Date: 2009-06-07T09:53:00-07:00 [thread overview]
Message-ID: <07c4ba96-85c2-4588-a63a-6d61a27f2349@q16g2000yqg.googlegroups.com> (raw)
SPARK appears to forbid this:
X : constant Integer := P.Y;
Where Y is a constant of the same type defined in package P;
The grammar for SPARK 95 specifies that only a
static_simple_expression can appear after the assignment
operator for constant declarations.
Is there a particular reason that SPARK doesn't allow this?
next reply other threads:[~2009-06-07 16:53 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-07 16:53 xorquewasp [this message]
2009-06-07 17:21 ` SPARK constants across packages Phil Thornley
2009-06-07 17:34 ` xorquewasp
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox