From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6a9844368dd0a842
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: seperate keyword and seperate compilation with Gnat?
Date: 1996/07/12
Message-ID: <dewar.837198984@schonberg>#1/1
X-Deja-AN: 168809815
references: <31D95D93.28D8D15B@jinx.sckans.edu> <dewar.836427220@schonberg>
 <4rrdn0$10mk@info4.rus.uni-stuttgart.de> <dewar.836853969@schonberg>
 <DuDwJC.C8B@world.std.com> <dewar.837119432@schonberg>
 <31E647AE.C12A912@jinx.sckans.edu>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-07-12T00:00:00+00:00
List-Id: <comp.lang.ada>


David Morton said

"This is why I was wondering why subunits weren't
able to be compiled separately...

Why does a "separate" procedure cause difficulty in the compiler
setting tasking structs and such, but "with"ing it doesn't?"

Simple to answer, the separate procedure sees the environment at the 
point of the stub, this means in the case of what I call type 1 subunits,
that it can see local stack variables of its parent and must know the
stack offsets.

Withed units are a totally different matter.

Even the compilation of type 2 units depends on some implementation
characteristics of GNAT that might well not be true in the general case.