From: Mats Weber <matsw@mail.com>
Subject: Re: generic package dilemma
Date: 1999/12/02
Date: 1999-12-02T10:31:44+00:00 [thread overview]
Message-ID: <38464A8F.FDE762F9@mail.com> (raw)
In-Reply-To: wccaenu9vp0.fsf@world.std.com
> I would be perfectly happy to make examples like that illegal at
> link time.
>
> I'm more concerned about a case where two packages 'with' each other,
> like the example above, but remove one of those if statements, so it is
> provable at link time that only one calls the other during elaboration.
> (Also, the Do_Something procedure had better not call back to the other
> package.) Making *that* example illegal is my concern.
That is just what I did in my thesis. See
http://lglwww.epfl.ch/Team/MW/Ada-Extensions/Ada-Extensions.html#RTFToC101
next prev parent reply other threads:[~1999-12-02 0:00 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-17 0:00 generic package dilemma Riyaz Mansoor
1999-11-17 0:00 ` Matthew Heaney
1999-11-17 0:00 ` Mats Weber
1999-11-17 0:00 ` Matthew Heaney
1999-11-18 0:00 ` Mats Weber
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Mats Weber
1999-11-19 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Larry Kilgallen
1999-11-23 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Robert A Duff
1999-11-23 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert I. Eachus
1999-12-01 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Robert A Duff
1999-11-23 0:00 ` Robert Dewar
1999-11-29 0:00 ` Robert A Duff
1999-12-01 0:00 ` Robert Dewar
1999-12-01 0:00 ` Robert A Duff
1999-12-02 0:00 ` Mats Weber [this message]
1999-12-03 0:00 ` Robert Dewar
1999-12-03 0:00 ` Ted Dennison
1999-12-04 0:00 ` Robert Dewar
1999-12-03 0:00 ` Robert A Duff
1999-12-06 0:00 ` Robert Dewar
1999-11-22 0:00 ` Mats Weber
1999-11-22 0:00 ` Bryce Bardin
1999-11-23 0:00 ` Robert Dewar
1999-11-19 0:00 ` Robert Dewar
1999-11-19 0:00 ` Robert I. Eachus
1999-11-22 0:00 ` Robert Dewar
1999-11-22 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Matthew Heaney
1999-11-20 0:00 ` Mats Weber
1999-11-19 0:00 ` Vladimir Olensky
1999-11-18 0:00 ` Robert A Duff
1999-11-18 0:00 ` Matthew Heaney
1999-11-19 0:00 ` Robert Dewar
1999-11-18 0:00 ` Riyaz Mansoor
1999-11-19 0:00 ` Robert Dewar
1999-11-19 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox