comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: reverse Integer'image(someString);
Date: 28 Apr 2005 21:31:40 +0100
Date: 2005-04-28T21:31:40+01:00	[thread overview]
Message-ID: <x7vzmvi1w43.fsf@smaug.pushface.org> (raw)
In-Reply-To: mailman.71.1114429295.24457.comp.lang.ada@ada-france.org

"David C. Hoos, Sr." <david.c.hoos.sr@ada95.com> writes:

> Jeff C" <jcreem@yahoo.com> wrote in message
> news:KIednSCHV-GzTfHfRVn-qw@comcast.com...
> > Adrien Plisson wrote:
> snip
> > What does work fine are:
> >
> > a)
> >
> >   Text_IO.Put_Line(Integer'Image(Some_Integer));
> >
> > b)
> >
> >   declare
> >     Some_String : constant String := Integer'Image(Some_Integer);
> >   begin
> >     ...play with Some_String
> >   end;
> 
> The "constant" in the declaration of Some_String is not only
> unnecessary, but would prevent some types of "playing"
> with Some_String.

I like the way GNAT (possibly with extra warnings, -gnatwaL) tells you
that something that is only initialized could have been declared
constant.

-- 
Simon Wright                               100% Ada, no bugs.



  parent reply	other threads:[~2005-04-28 20:31 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-04-23 19:59 reverse Integer'image(someString); Doker
2005-04-25  9:16 ` Adrien Plisson
2005-04-25 11:10   ` Jeff C
2005-04-25 11:40     ` David C. Hoos, Sr.
2005-04-25 11:50       ` Larry Kilgallen
2005-04-25 17:13         ` Pascal Obry
2005-04-25 17:50           ` Björn Lundin
2005-04-25 18:39             ` Pascal Obry
2005-04-25 19:43               ` Björn Lundin
2005-04-26  8:41                 ` Jean-Pierre Rosen
2005-04-26  4:12               ` Wes Groleau
2005-04-27  4:43                 ` Jeffrey Carter
2005-04-25 17:38         ` Frank J. Lhota
2005-04-25 17:14       ` Pascal Obry
2005-04-26  1:53       ` Jeffrey Carter
2005-04-28 20:31       ` Simon Wright [this message]
2005-04-25  9:18 ` Martin Krischik
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox