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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3dbf2f325f33ce35
X-Google-Attributes: gid103376,public
From: Tucker Taft <stt@averstar.com>
Subject: Re: Elimination of "use" clauses
Date: 1999/07/19
Message-ID: <37934672.E401493E@averstar.com>#1/1
X-Deja-AN: 502751068
Content-Transfer-Encoding: 7bit
Sender: news@inmet.camb.inmet.com (USENET news)
X-Nntp-Posting-Host: houdini.burl.averstar.com
References: <377B5807.88B875E0@cs.york.ac.uk> <7lh74s$v36$1@nnrp1.deja.com>
 <7ligdq$c8q$1@nnrp1.deja.com> <7ljb4e$na9$1@nnrp1.deja.com>
 <7ltus1$ah1@dfw-ixnews19.ix.netcom.com> <wccr9mc5y47.fsf@world.std.com>
 <7mrjus$bet@dfw-ixnews14.ix.netcom.com> <7mvcak$tdu$1@nnrp1.deja.com>
Content-Type: text/plain; charset=us-ascii
Organization: AverStar (formerly Intermetrics)  Burlington, MA  USA
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-07-19T00:00:00+00:00
List-Id: <comp.lang.ada>

Ted Dennison wrote:
> 
> In article <7mrjus$bet@dfw-ixnews14.ix.netcom.com>,
>   Richard D Riehle <laoXhai@ix.netcom.com> wrote:
> 
> > for every operator on a type.  Now, if use type allowed a list of the
> > operators to be restricted ...    For example,
> >
> >         use type X.T ("=", "<", "/");
> >
> > one would be able to designate exactly which operators were
> appropriate
> 
> Ohhhhh. I *like* that idea. Currently "use type" seems a bit sloppy.

Oh dear, to each his own.

It seems strange that you are deciding at the point of use which
operators are "appropriate."  If there are inappropriate operators,
they shouldn't be declared in the package, and shouldn't be primitive.
I can't think of a type where "<" is appropriate but ">" is not.
Can you give a realistic example?  This seems like overkill,
IMHO.

> T.E.D.

-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions  (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.)   Burlington, MA  USA