From: Simon Wright <simon@pushface.org>
Subject: Re: Position of "use"
Date: Tue, 15 Jul 2014 18:01:12 +0100
Date: 2014-07-15T18:01:12+01:00 [thread overview]
Message-ID: <lywqbewo87.fsf@pushface.org> (raw)
In-Reply-To: 53c4d9ec$0$6658$9b4e6d93@newsspool3.arcor-online.net
Georg Bauhaus <rm.dash-bauhaus@futureapps.de> writes:
> But, for example, another package (other than children of the first,
> or subunits) that happens to be declared in the same file establishes
> another declarative region. Any with_clause, then, that is atop any
> prior declarative region is not in scope of this package's declarative
> region.
But, in Ada83, a *pragma*'s scope extended over the whole compilation
(all the compilation units).
GNAT (gnatchop) doesn't seem to support this; the modern equivalent
would be configuration pragmas, ARM 10.1.5(1)[1].
I think perhaps Mr Anon is confusing context clauses with pragmas.
[1] http://www.adaic.org/resources/add_content/standards/12rm/html/RM-10-1-5.html#p8
next prev parent reply other threads:[~2014-07-15 17:01 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-05 6:43 Position of "use" Victor Porton
2014-07-05 7:12 ` J-P. Rosen
2014-07-07 16:45 ` Adam Beneschan
2014-07-07 17:08 ` Pascal Obry
2014-07-07 17:40 ` Peter Chapin
2014-07-07 19:17 ` Adam Beneschan
2014-07-08 5:26 ` J-P. Rosen
2014-07-08 15:32 ` Adam Beneschan
2014-07-08 19:30 ` Adam Beneschan
2014-07-08 22:39 ` Victor Porton
2014-07-09 10:36 ` anon
2014-07-09 15:14 ` Adam Beneschan
2014-07-10 1:27 ` anon
2014-07-10 9:50 ` AdaMagica
2014-07-10 13:10 ` J-P. Rosen
2014-07-10 15:57 ` Adam Beneschan
2014-07-10 17:47 ` Tero Koskinen
2014-07-10 19:15 ` Jeffrey Carter
2014-07-15 5:56 ` anon
2014-07-15 7:36 ` Georg Bauhaus
2014-07-15 17:01 ` Simon Wright [this message]
2014-07-15 17:23 ` Jeffrey Carter
2014-07-15 19:44 ` Simon Wright
2014-07-15 17:47 ` G.B.
2014-07-15 17:51 ` Adam Beneschan
2014-07-15 20:04 ` Simon Wright
2014-07-16 7:19 ` anon
2014-07-10 15:54 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox