From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Passing indefinite types
Date: Tue, 5 Feb 2013 14:56:37 -0600
Date: 2013-02-05T14:56:37-06:00 [thread overview]
Message-ID: <kerrmb$j6d$1@munin.nbi.dk> (raw)
In-Reply-To: 85r4ku52zz.fsf@stephe-leake.org
"Stephen Leake" <stephen_leake@stephe-leake.org> wrote in message
news:85r4ku52zz.fsf@stephe-leake.org...
...
> I tried using Suppress:
>
> pragma Suppress (Accessibility_Check, String_1);
> pragma Suppress (Accessibility_Check, Sources);
> pragma Suppress (Accessibility_Check, A);
>
> None of those helped; I'm not clear why not. Possibly because the
> failure is a legality issue, not a run-time check issue.
Correct: accessibility is a legality check in most cases. You could force it
to be a dynamic check by using an anonynous-access-to-object type, and then
you might be able to suppress the check (that's implementation-defined, of
course, compilers are always allowed to make a check). Alternatively, just
use 'Unchecked_Access and there is no accessibility check. (Of course,
you're on your own at that point.)
Randy.
next prev parent reply other threads:[~2013-02-05 20:56 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-02 21:07 Passing indefinite types sbelmont700
2013-02-02 21:31 ` Jeffrey Carter
2013-02-03 0:27 ` sbelmont700
2013-02-03 8:07 ` Dmitry A. Kazakov
2013-02-03 10:22 ` gautier_niouzes
2013-02-03 22:26 ` Stephen Leake
2013-02-04 1:25 ` sbelmont700
2013-02-04 3:46 ` Shark8
2013-02-05 2:40 ` Randy Brukardt
2013-02-05 13:01 ` Stephen Leake
2013-02-05 20:56 ` Randy Brukardt [this message]
2013-02-05 21:16 ` sbelmont700
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox