From: dale@cs.rmit.edu.au (Dale Stanbrough)
Subject: Re: Elimination of "use" clauses
Date: 1999/07/18
Date: 1999-07-18T05:10:41+00:00 [thread overview]
Message-ID: <dale-1807991510420001@192.168.0.2> (raw)
In-Reply-To: 7mrjus$bet@dfw-ixnews14.ix.netcom.com
Richard D Riehle wrote:
" >Good point. I wouldn't mind having a concise way of saying (eg) "T is
>an integer type with just "+" and "-" operators. But I still prefer
>"use type" to "package Ops".
We agree up to a certain point. Explicit export directives would
solve the problem, but that is not currently part of Ada. Again,
"use type" is too broad, I think. "
Export directives -could- do it (and it is not a bad idea at all),
but we shouldn't forget that Ada already has the ability to export
-just- the operators we want, and it's called using a private type
and only advertising the appropriate operations.
However this has the disadvantage that you can't use the private
type in all the places that you might want to use an integer type.
Dale
next prev parent reply other threads:[~1999-07-18 0:00 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-01 0:00 Elimination of "use" clauses Dr. Neil C. Audsley
1999-07-01 0:00 ` czgrr
1999-07-01 0:00 ` Ted Dennison
1999-07-02 0:00 ` czgrr
1999-07-02 0:00 ` Ted Dennison
1999-07-01 0:00 ` Samuel T. Harris
1999-07-01 0:00 ` Joe Wisniewski
1999-07-02 0:00 ` Robert Dewar
1999-07-02 0:00 ` Ed Falis
1999-07-03 0:00 ` Joe Wisniewski
1999-07-03 0:00 ` Ed Falis
1999-07-03 0:00 ` Keith Thompson
1999-07-13 0:00 ` Peter Amey
1999-07-02 0:00 ` Ted Dennison
1999-07-02 0:00 ` Ed Falis
1999-07-02 0:00 ` Stephen Leake
1999-07-02 0:00 ` Robert Dewar
[not found] ` <7ltus1$ah1@dfw-ixnews19.ix.netcom.com>
1999-07-13 0:00 ` Robert A Duff
1999-07-18 0:00 ` Richard D Riehle
1999-07-18 0:00 ` jerry
1999-07-19 0:00 ` Vladimir Olensky
1999-07-20 0:00 ` Richard D Riehle
1999-07-20 0:00 ` Opaque Types (was Elimination of "use" clauses) David C. Hoos, Sr.
1999-07-20 0:00 ` Elimination of "use" clauses jerry
1999-07-18 0:00 ` Dale Stanbrough [this message]
1999-07-20 0:00 ` Richard D Riehle
1999-07-19 0:00 ` Brian Rogoff
1999-07-20 0:00 ` Robert Dewar
1999-07-20 0:00 ` Brian Rogoff
1999-07-21 0:00 ` Ted Dennison
1999-07-21 0:00 ` Robert Dewar
1999-07-21 0:00 ` Robert A Duff
1999-07-21 0:00 ` Robert Dewar
1999-07-21 0:00 ` Brian Rogoff
1999-07-22 0:00 ` Robert Dewar
1999-07-22 0:00 ` Brian Rogoff
1999-07-22 0:00 ` Robert Dewar
1999-07-22 0:00 ` Brian Rogoff
1999-07-21 0:00 ` Robert A Duff
1999-07-21 0:00 ` Michael F. Yoder
1999-07-21 0:00 ` Robert A Duff
1999-07-23 0:00 ` Tucker Taft
1999-08-03 0:00 ` Richard D Riehle
1999-07-20 0:00 ` David Kristola
1999-07-19 0:00 ` Ted Dennison
1999-07-19 0:00 ` Tucker Taft
1999-07-19 0:00 ` Ted Dennison
1999-07-02 0:00 ` Samuel T. Harris
1999-07-02 0:00 ` Robert Dewar
1999-07-08 0:00 ` R. Tim Coslet
1999-07-09 0:00 ` Robert Dewar
1999-07-09 0:00 ` tmoran
[not found] ` <7ltl2q$mog$1@nnrp1.deja.com>
1999-07-08 0:00 ` Michael F. Yoder
1999-07-09 0:00 ` Robert Dewar
1999-07-09 0:00 ` Michael F. Yoder
1999-07-14 0:00 ` Tucker Taft
1999-07-09 0:00 ` Dale Stanbrough
1999-07-12 0:00 ` Robert Dewar
1999-07-12 0:00 ` Ted Dennison
1999-07-10 0:00 ` Simon Wright
1999-07-12 0:00 ` Robert Dewar
1999-07-09 0:00 ` Richard D Riehle
1999-07-09 0:00 ` Marin David Condic
1999-07-09 0:00 ` Michael F. Yoder
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox