From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Export instances of procedures
Date: 2000/04/25
Date: 2000-04-25T00:00:00+00:00 [thread overview]
Message-ID: <8e54pr$4a9$1@nnrp1.deja.com> (raw)
In-Reply-To: 3905CCCB.C48B9113@maths.unine.ch
In article <3905CCCB.C48B9113@maths.unine.ch>,
Gautier <gautier.demontmollin@maths.unine.ch> wrote:
> Vincent Marciante wrote:
>
> > At this point, Read_8bit_AutoInt(...) requires a completion.
> > A subprogram renaming declaration (RM 8.5.4) can act as a
completion but
> > an instantiation can't.
>
> Sorry for insisting on this question, but _why_ cannot the
instance
> be considered as complete ?
Because that's the rule! It is absolutely clear in the RM that
an instantiation cannot act as a completion. Could the language
be designed to allow this? Sure! Is it designed that way? No!
Why, because this was considered an unnecessary complexity.
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-04-25 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-04-18 0:00 Export instances of procedures Gautier
2000-04-18 0:00 ` Vincent Marciante
2000-04-25 0:00 ` Gautier
2000-04-25 0:00 ` Robert Dewar [this message]
2000-04-26 0:00 ` Gautier
2000-04-25 0:00 ` Vincent Marciante
2000-04-26 0:00 ` Tucker Taft
2000-04-19 0:00 ` Jean-Pierre Rosen
2000-04-19 0:00 ` Pascal Obry
2000-04-19 0:00 ` Jean-Pierre Rosen
2000-04-19 0:00 ` Pascal Obry
2000-04-20 0:00 ` Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox