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,6cb2525ffbfe23ce
X-Google-Attributes: gid103376,public
From: robert_dewar@my-dejanews.com
Subject: Re: Why both "with" and "use"?
Date: 1999/02/19
Message-ID: <7akh21$859$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 446161598
References: <36C5B28C.F32C43A4@jps.net> <m2socaxfjw.fsf@wf-rch.cirr.com>
 <m3lni1ucb9.fsf@mheaney.ni.net> <7acj53$1vu@news3.newsguy.com>
 <7af68r$52o$1@platane.wanadoo.fr> <7ahq7p$s6k$1@nnrp1.dejanews.com>
 <7ai7p1$8kp$1@nnrp1.dejanews.com> <EACHUS.99Feb19122049@spectre.mitre.org>
 <36CDA87B.E0F36D27@lawson.com>
X-Http-Proxy: 1.0 x7.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Fri Feb 19 20:20:42 1999 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-02-19T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <36CDA87B.E0F36D27@lawson.com>,
  Brian Hanson <brian.hanson@lawson.com> wrote:
> Slightly less obvious.
>
> package Rd is
>    type T is new Integer;
>    function Mumble(V: T) return Integer;
> end Rd;
>
> with Rd;
> procedure main is
>    type Z is new Rd.T;
>    Vi: integer;
> begin
>    vi := Mumble(25);
> end;

Even less obvious is the case where you see only a subtype
and cannot even see the original type, but you can still
derive and get the local operations, i.e. Mumble may not
even be in any of the things you with!

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own