From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Position of "use"
Date: Tue, 08 Jul 2014 07:26:36 +0200
Date: 2014-07-08T07:26:36+02:00 [thread overview]
Message-ID: <lpfvea$n2h$1@dont-email.me> (raw)
In-Reply-To: <e2ad373b-7c07-489e-8211-7d007966b3ee@googlegroups.com>
Le 07/07/2014 18:45, Adam Beneschan a écrit :
>> In the first case, it will allow short names for other with/use clauses,
>> > while in the second case it will be effective only inside the package.
> Not true. This is illegal:
>
> with Ada;
> use Ada;
> with Strings.Unbounded;
> package X is ...
>
> You can't use this as a substitute for "with Ada.Strings.Unbounded".
Yes of course, I typed a bit too fast for "with", but it still applies
to "use" clause as context clauses.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2014-07-08 5:26 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 [this message]
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
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