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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,668e9e8459c8aba3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-12-04 09:24:50 PST
Newsgroups: comp.lang.ada
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!news.tufts.edu!uunet!dca.uu.net!ash.uu.net!world!news
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: AdaGIDE 7.00 release (Ada GUI IDE for Windows
 95,98,ME,NT,2000,XP)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Sender: news@world.std.com (Mr Usenet Himself)
Message-ID: <wccr8cxd7ep.fsf@shell01.TheWorld.com>
Date: Wed, 4 Dec 2002 17:24:14 GMT
Content-Type: text/plain; charset=us-ascii
References: <17cd177c.0212031234.340ca0aa@posting.google.com>
 <asjbj6$h3v$1@helle.btinternet.com> <aslaa7$cs6$1@a1-hrz.uni-duisburg.de>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Organization: The World Public Access UNIX, Brookline, MA
Xref: archiver1.google.com comp.lang.ada:31433
Date: 2002-12-04T17:24:14+00:00
List-Id: <comp.lang.ada>

Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:

>    function inc(x: Standard.Integer := Standard.Integer'(0))
>                return Standard.Integer is
>    begin
>       return Standard."+"(x, Standard.Integer'Succ(x));
>    end inc;

Inc should be called Double_Plus_One.  ;-)

- Bob