From: Phil Thornley <phil.jpthornley@googlemail.com>
Subject: Re: SPARK parameter type error.
Date: Mon, 8 Jun 2009 02:47:07 -0700 (PDT)
Date: 2009-06-08T02:47:07-07:00 [thread overview]
Message-ID: <65bf6295-0f83-4a84-8d4b-8cbb89be513e@q37g2000vbi.googlegroups.com> (raw)
In-Reply-To: 042da3b7-6571-49b2-926f-3a8a578437db@q14g2000vbn.googlegroups.com
> Running spark on posix-file.ads results in many instances of:
>
> 42 Error_Value : out POSIX.Error.Error_t);
> ^
> *** Semantic Error :754: The identifier Error is either
> undeclared or not
> visible at this point. This package must be both inherited
> and
> withed to be visible here.
>
> What's going on?
The SPARK language doesn't allow the optional (in Ada) parent name to
be given - so just delete all the POSIX. prefixes and it will work.
(SPARK insists that any entity can only have a single name - in this
case Error.Error_t - and disallows POSIX.Error.Error_t).
Cheers,
Phil Thornley
next prev parent reply other threads:[~2009-06-08 9:47 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-08 8:15 SPARK parameter type error xorquewasp
2009-06-08 9:47 ` Phil Thornley [this message]
2009-06-08 15:00 ` 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