From: Brian Hanson <brian.hanson@lawson.com>
Subject: Re: Why both "with" and "use"?
Date: 1999/02/19
Date: 1999-02-19T12:10:12+00:00 [thread overview]
Message-ID: <36CDA87B.E0F36D27@lawson.com> (raw)
In-Reply-To: EACHUS.99Feb19122049@spectre.mitre.org
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;
"Robert I. Eachus" wrote:
> In article <7ai7p1$8kp$1@nnrp1.dejanews.com> robert_dewar@my-dejanews.com writes:
>
> > Not always, here is a little puzzle for the folks out in CLA-land:
> > A unit contains:
> > x := Mumble (Q);
> > a search of the unit in which this statement appears shows
> > no other trace of the string Mumble, and no dreaded use clauses.
> > How could this be?
>
> Easy:
>
> package ADT is
> type Froz is new Integer;
> procedure Mumble(F: in out Froz);
> end ADT;
>
> package body ADT is
> procedure Mumble(F: in out Froz) is
> begin F := F + 1; end Mumble;
> end ADT;
>
> with ADT;
> procedure Main is
> type Frozbaz is new ADT.Froz;
> X: Frozbaz := 0;
> begin
> Mumble(X);
> end Main;
> --
>
> Robert I. Eachus
>
> with Standard_Disclaimer;
> use Standard_Disclaimer;
> function Message (Text: in Clever_Ideas) return Better_Ideas is...
next prev parent reply other threads:[~1999-02-19 0:00 UTC|newest]
Thread overview: 55+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-13 0:00 Why both "with" and "use"? Mike Silva
1999-02-13 0:00 ` Pat Rogers
1999-02-13 0:00 ` bill
1999-02-13 0:00 ` Pat Rogers
1999-02-13 0:00 ` Matthew Heaney
1999-02-13 0:00 ` bill
1999-02-14 0:00 ` Pat Rogers
1999-02-14 0:00 ` Bob Collins
1999-02-14 0:00 ` Pat Rogers
1999-02-16 0:00 ` Samuel Mize
1999-02-13 0:00 ` Matthew Heaney
1999-02-15 0:00 ` Jean-Pierre Rosen
1999-02-15 0:00 ` Ed Falis
1999-02-16 0:00 ` Jean-Pierre Rosen
1999-02-13 0:00 ` Corey Minyard
1999-02-13 0:00 ` Matthew Heaney
1999-02-13 0:00 ` bill
1999-02-14 0:00 ` dewar
1999-02-14 0:00 ` Matthew Heaney
1999-02-14 0:00 ` dewar
1999-02-13 0:00 ` Tom Moran
1999-02-14 0:00 ` Matthew Heaney
1999-02-16 0:00 ` Samuel Mize
1999-02-17 0:00 ` dennison
1999-02-17 0:00 ` Nick Roberts
1999-02-17 0:00 ` Samuel Mize
1999-02-17 0:00 ` Jean-Pierre Rosen
1999-02-17 0:00 ` Matthew Heaney
1999-02-17 0:00 ` Jean-Pierre Rosen
1999-02-18 0:00 ` dennison
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Robert I. Eachus
1999-02-19 0:00 ` robert_dewar
1999-02-23 0:00 ` Robert I. Eachus
1999-02-19 0:00 ` Brian Hanson [this message]
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` dennison
1999-02-19 0:00 ` bourguet
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Matthew Heaney
1999-02-19 0:00 ` dennison
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Ada multiple string personalities. why so many? mike
1999-02-19 0:00 ` robert_dewar
1999-02-19 0:00 ` Tom Moran
1999-02-19 0:00 ` Mike Silva
1999-02-22 0:00 ` Brian Hanson
1999-02-19 0:00 ` Why both "with" and "use"? dennison
1999-02-19 0:00 ` robert_dewar
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Jean-Pierre Rosen
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Jean-Pierre Rosen
1999-02-13 0:00 ` mike
1999-02-15 0:00 ` Jean-Pierre Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox