From: Simon Wright <simon@pushface.org>
Subject: Re: Manifesto against Vector
Date: 07 May 2004 06:00:52 +0100
Date: 2004-05-07T06:00:52+01:00 [thread overview]
Message-ID: <x7v4qqsvnjv.fsf@smaug.pushface.org> (raw)
In-Reply-To: na0k90h8oii6063v7n6u5mmib5v20b2emh@4ax.com
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> writes:
> This might work with bodies, but it does not with
> specifications. What would you do with:
>
> with Foo;
> procedure P (<something here needs visibility of Foo>);
My view is that declarations should always contain the fully-qualified
type if it comes from a package that you had to with, even if you've
used the package; in other words, don't 'use' until the end of a
declarative region. Saves a vast amount of grief finding where things
come (I know that GNAT will often retain enough context after a failed
compilation for browsing to work, but it's just so much easier for the
writer to tell the reader where stuff is supposed to come from!)
Exceptions:
Ada.Text_IO
Packages in a hierarchy
--
Simon Wright 100% Ada, no bugs.
next prev parent reply other threads:[~2004-05-07 5:00 UTC|newest]
Thread overview: 91+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-04 3:20 Manifesto against Vector Alexander E. Kopilovich
2004-05-04 16:30 ` chris
2004-05-04 17:19 ` Marius Amado Alves
2004-05-04 20:40 ` Peter C. Chapin
2004-05-04 20:58 ` Xenos
2004-05-07 8:05 ` Ranges in C++ Martin Krischik
2004-05-07 23:18 ` James Rogers
2004-05-08 6:45 ` Martin Krischik
2004-05-10 16:19 ` Xenos
2004-05-10 18:04 ` Martin Krischik
2004-05-10 19:03 ` Xenos
2004-05-11 5:59 ` Martin Krischik
2004-05-04 17:16 ` Manifesto against Vector Jeffrey Carter
2004-05-04 18:24 ` Marius Amado Alves
2004-05-04 19:17 ` Xenos
2004-05-04 19:53 ` Marius Amado Alves
2004-05-05 9:24 ` Georg Bauhaus
2004-05-05 5:28 ` Russ
2004-05-05 7:01 ` tmoran
2004-05-05 17:37 ` Martin Dowie
2004-05-06 3:42 ` Russ
2004-05-06 5:55 ` Martin Dowie
2004-05-06 7:03 ` Jean-Pierre Rosen
2004-05-06 9:29 ` Dmitry A. Kazakov
2004-05-06 9:41 ` Vinzent 'Gadget' Hoefler
2004-05-06 12:44 ` Dmitry A. Kazakov
2004-05-06 13:30 ` Vinzent 'Gadget' Hoefler
2004-05-06 14:35 ` Wes Groleau
2004-05-07 8:23 ` Dmitry A. Kazakov
2004-05-07 12:38 ` Vinzent 'Gadget' Hoefler
2004-05-09 20:34 ` Dmitry A. Kazakov
2004-05-10 8:26 ` Vinzent 'Gadget' Hoefler
2004-05-10 12:13 ` Dmitry A. Kazakov
2004-05-06 14:48 ` Georg Bauhaus
2004-05-07 8:31 ` Dmitry A. Kazakov
2004-05-07 14:30 ` Georg Bauhaus
2004-05-09 20:33 ` Dmitry A. Kazakov
2004-05-12 19:49 ` Randy Brukardt
2004-05-07 7:01 ` Martin Krischik
2004-05-06 9:55 ` with and use again (was: Manifesto against Vector) Marius Amado Alves
2004-05-06 12:04 ` Dmitry A. Kazakov
2004-05-07 6:53 ` Martin Krischik
2004-05-09 20:33 ` Dmitry A. Kazakov
2004-05-10 7:00 ` Martin Krischik
2004-05-10 12:15 ` Dmitry A. Kazakov
2004-05-07 16:27 ` with and use again Warren W. Gay VE3WWG
2004-05-06 19:53 ` Manifesto against Vector Jean-Pierre Rosen
2004-05-07 0:42 ` Jeffrey Carter
2004-05-07 6:49 ` Jean-Pierre Rosen
2004-05-07 18:20 ` Jeffrey Carter
2004-05-07 19:15 ` Simon Wright
2004-05-10 6:49 ` Jean-Pierre Rosen
2004-05-10 17:25 ` Jeffrey Carter
2004-05-11 13:25 ` Jean-Pierre Rosen
2004-05-07 5:00 ` Simon Wright [this message]
2004-05-07 6:40 ` Martin Krischik
2004-05-07 16:25 ` Warren W. Gay VE3WWG
2004-05-07 6:33 ` Martin Krischik
2004-05-06 14:28 ` Wes Groleau
2004-05-07 5:15 ` Russ
2004-05-10 11:55 ` Martin Dowie
2004-05-12 19:44 ` Randy Brukardt
2004-05-12 19:42 ` Randy Brukardt
2004-05-13 5:23 ` Russ
2004-05-13 5:48 ` Randy Brukardt
2004-05-13 14:43 ` Robert I. Eachus
2004-05-14 1:02 ` Russ
2004-05-07 6:29 ` with use - again [Was: Manifesto against Vector] Martin Krischik
2004-05-07 11:18 ` Manuel Collado
2004-05-07 14:37 ` Georg Bauhaus
2004-05-07 13:41 ` Mark Lorenzen
2004-05-07 13:06 ` Martin Krischik
2004-05-05 19:45 ` Manifesto against Vector Marius Amado Alves
2004-05-04 18:42 ` Ada.Containers names Marius Amado Alves
2004-05-05 23:21 ` Manifesto against Vector Robert I. Eachus
2004-05-07 4:55 ` Matthew Heaney
2004-05-10 4:10 ` Matthew Heaney
2004-05-12 7:41 ` Pascal Obry
2004-05-12 12:11 ` Matthew Heaney
2004-05-12 12:50 ` Matthew Heaney
2004-05-10 6:41 ` Martin Krischik
2004-05-10 17:41 ` Jeffrey Carter
2004-05-11 1:29 ` Matthew Heaney
2004-05-11 20:53 ` Alexander E. Kopilovich
[not found] ` <XRVrJe0vzF@VB1162.spb.edu>
2004-05-11 22:26 ` Marius Amado Alves
2004-05-11 5:55 ` Martin Krischik
[not found] <PnHmmb05QD@VB1162.spb.edu>
2004-05-04 9:07 ` Marius Amado Alves
2004-05-04 13:08 ` (see below)
2004-05-04 15:16 ` Martin Dowie
2004-05-05 13:21 ` Kevin Hostelley
2004-05-05 13:53 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox