From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9e91bd3f3ee80c47
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news2.google.com!newsread.com!news-xfer.newsread.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!newscon06.news.prodigy.com!prodigy.net!news-FFM2.ecrc.net!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: reverse Integer'image(someString);
Date: 28 Apr 2005 21:31:40 +0100
Organization: Pushface
Sender: simon@smaug.pushface.org
Message-ID: <x7vzmvi1w43.fsf@smaug.pushface.org>
References: <d4e8u7$8fh$1@node2.news.atman.pl>
 <426cb55e$0$30475$ba620e4c@news.skynet.be>
 <KIednSCHV-GzTfHfRVn-qw@comcast.com>
 <mailman.71.1114429295.24457.comp.lang.ada@ada-france.org>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1114720426 22108 62.49.19.209 (28 Apr 2005 20:33:46
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Thu, 28 Apr 2005 20:33:46 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
Xref: g2news1.google.com comp.lang.ada:10786
Date: 2005-04-28T21:31:40+01:00
List-Id: <comp.lang.ada>

"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.