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 12:48:06 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!skynet.be!skynet.be!fu-berlin.de!uni-berlin.de!213.200.246.247!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: Saturated Math
Date: Fri, 30 May 2003 21:46:46 +0200
Organization: JeLlyFish software
Message-ID: <bb8chk$6qo78$1@ID-175126.news.dfncis.de>
References: <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>
 <vdf9rjvc08f91@corp.supernews.com>
NNTP-Posting-Host: 213.200.246.247
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: fu-berlin.de 1054324085 7168232 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:38149
Date: 2003-05-30T21:46:46+02:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:

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

Aaah, the sky is clearing... I stumbled over the same problem. Now I
understand why this was the case. Thanks.


Vinzent.

--=20
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.