Re: This can't be done in Ada...or?

[Mark Lorenzen <mark.lorenzen@ofir.dk>]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

> Mark Lorenzen wrote:
> > Jacob Sparre Andersen <sparre@nbi.dk> writes:
> 
> > > Aren't the compilers (theoretically) allowed to delay the
> > > instantiation of the packgage until run-time?
> > 
> > Hm yes, I think they are - as the semantics is written as an "as-if"
> > semantics. But if the generic package body does not need to be
> > elaborated, there will probably not be any overhead.
> 
> Would a Preelaborate or Pure pragma in the generic package make any
> difference here?  (although I don't think Preelaborate would be legal
> in PragmARC.Reflection)
> 
> What do the compilers actually do?  My guess is that they all
> instantiate the package(s) at compile-time, but I don't know (and I
> only have access to GNAT).
> 
> Jacob
> -- 
> "Three can keep a secret if two of them are dead."

I think that GNAT instantiates the packages at compile-time.

- Mark