Re: Export instances of procedures

[Gautier <gautier.demontmollin@maths.unine.ch>]

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 ? Well, the generic body could depend on an
uncompletely defined type, hence the instance too. But the instance
could also be clearly complete, couldn't it ? In my code, it is!
In that case what does the "renames" bring ? Is it purely formal
or does it reflect some indirections (indirect access to the procedure) ?

NB: I have seen in the Manual many topics about completion (3.10.1, 3.11.1,
7.6.1, 9.5.2) and the one that seems the most relevant here, 8.5.4(5) but
I didn't guess the motivations behind these rules...
Maybe some wise one knows them or can decipher the Runes ? ;-)
______________________________________________________
Gautier  --  http://members.xoom.com/gdemont/gsoft.htm