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,583275b6950bf4e6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-30 11:48:19 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!sn-xit-03!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Saturated Math
Date: Fri, 30 May 2003 13:49:25 -0500
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <vdf9rjvc08f91@corp.supernews.com>
References: <badvd5$raumj$1@ID-175126.news.dfncis.de>
 <wcc65o5bdib.fsf@shell01.TheWorld.com> <vcqfcmacq3r461@corp.supernews.com>
 <Gdeza.49896$zt.17929@nwrdny01.gnilink.net>
 <vcsqis9d21of7@corp.supernews.com> <3ECFF541.1010705@attbi.com>
 <3ED0B820.5050603@noplace.com> <m59Aa.14549$fT5.5136@nwrdny01.gnilink.net>
 <3ED2096F.3020800@noplace.com> <WPqAa.18139$fT5.7613@nwrdny01.gnilink.net>
 <3ED353BE.40605@noplace.com> <bb1umi$4jh5e$1@ID-175126.news.dfncis.de>
 <3ED4A323.3000909@noplace.com> <bb2c3v$4sq9s$1@ID-175126.news.dfncis.de>
 <vda1gap101p119@corp.supernews.com> <3ED5E8DE.8070308@noplace.com>
 <dstanbro-D4C3C0.18423630052003@mec2.bigpond.net.au>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Newsreader: Microsoft Outlook Express 4.72.3612.1700
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:38134
Date: 2003-05-30T13:49:25-05:00
List-Id: <comp.lang.ada>

Dale Stanbrough wrote in message ...
>...
>The function "+" in the following
>
>   x := x + 2;
>
>is said to be ambiguous with Standard."+" (according
>to gnat).
>
>Am I missing something?


Yes, by declaring the type separate from the operators, you get both
sets (the new ones and the predefined ones). That obviously doesn't
work. You have to declare the type and the operators in the same place.

         Randy.