From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: SPARK examiner visibility problem
Date: Sun, 13 Sep 2009 23:28:08 -0700 (PDT)
Date: 2009-09-13T23:28:08-07:00 [thread overview]
Message-ID: <e58e0c5a-5206-4d6e-bb3b-1213e3496a9f@c28g2000yqd.googlegroups.com> (raw)
In-Reply-To: 8d72d20b-489b-4494-9b13-1b00ee902850@j4g2000yqa.googlegroups.com
Laurie Dillon wrote on comp.lang.ada:
> The examiner has no problem with this package (the body carries a
> #hide Std_IO annotation). But when I try to examine a package spec
> (or body) that inherits Std_IO, I get semantic errors at every
> reference to Std_IO.stdin and Std_IO.stdout.
From a past discussion here on comp.lang.ada, I vaguely remember that
#hide annotations must be in the spec, not in the body, to take
effect.
--
Ludovic Brenta.
next prev parent reply other threads:[~2009-09-14 6:28 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-09-13 22:47 SPARK examiner visibility problem Laurie Dillon
2009-09-14 0:32 ` Britt
2009-09-14 4:26 ` Laurie Dillon
2009-09-14 6:28 ` Ludovic Brenta [this message]
2009-09-14 8:16 ` Phil Thornley
2009-09-14 7:40 ` Phil Thornley
2009-09-14 16:12 ` Phil Thornley
2009-09-14 22:44 ` Laurie Dillon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox