From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: seperate keyword and seperate compilation with Gnat?
Date: 1996/07/03
Date: 1996-07-03T00:00:00+00:00 [thread overview]
Message-ID: <dewar.836449040@schonberg> (raw)
In-Reply-To: JSA.96Jul3200323@organon.com
iJon says
"So, the _post_ compilation rule of (15) sez for any body_stub (in the
relevant parent body) there exists a cooresponding subunit with the
"actual body" (so called proper_body). This bit seems to say the
proper_body is _not_ necessary for the compilation to succeed."
Just to be absolutely clear, of COURSE a proper body is not necssary for
the compilation to succeed. The RM does not "seem to be saying this", it
says in as clear a manner as I can imagine, and there is no other
possible reading, so I don't know why you are looking for one!
That is why GNAT does not require the proper body for the compilation to
succeed (in the RM sense, i.e. to diagnose any semantic errors in the
unit at compilation time), providing that the correct command is given
to gcc.
next prev parent reply other threads:[~1996-07-03 0:00 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-02 0:00 seperate keyword and seperate compilation with Gnat? David Morton
1996-07-02 0:00 ` Peter Hermann
1996-07-02 0:00 ` David Morton
1996-07-02 0:00 ` Samuel Mize
1996-07-03 0:00 ` *separate* keyword and *separate* " David Morton
1996-07-03 0:00 ` Robert Dewar
1996-07-03 0:00 ` seperate keyword and seperate " Robert Dewar
1996-07-17 0:00 ` Robert I. Eachus
1996-07-02 0:00 ` Robert Dewar
1996-07-18 0:00 ` Peter Hermann
1996-07-20 0:00 ` Robert Dewar
1996-07-03 0:00 ` Mike Card (x3022)
1996-07-03 0:00 ` Rob Kirkbride
1996-07-03 0:00 ` Robert Dewar
1996-07-08 0:00 ` michael
1996-07-08 0:00 ` Robert Dewar
1996-07-11 0:00 ` Robert A Duff
1996-07-11 0:00 ` Robert Dewar
1996-07-12 0:00 ` David Morton
1996-07-12 0:00 ` Robert Dewar
1996-07-16 0:00 ` Michael Paus
1996-07-08 0:00 ` John Herro
1996-07-08 0:00 ` Robert Dewar
1996-07-10 0:00 ` John Herro
1996-07-10 0:00 ` Robert Dewar
1996-07-08 0:00 ` Robert Dewar
1996-07-09 0:00 ` progers
1996-07-09 0:00 ` Robert A Duff
1996-07-09 0:00 ` Robert Dewar
1996-07-08 0:00 ` Robert A Duff
1996-07-03 0:00 ` Robert A Duff
1996-07-04 0:00 ` Jon S Anthony
1996-07-03 0:00 ` Robert Dewar
1996-07-03 0:00 ` Robert Dewar [this message]
1996-07-04 0:00 ` Robert A Duff
1996-07-05 0:00 ` Jon S Anthony
1996-07-05 0:00 ` Jon S Anthony
1996-07-06 0:00 ` Robert Dewar
1996-07-09 0:00 ` Jon S Anthony
1996-07-09 0:00 ` Jon S Anthony
1996-07-09 0:00 ` Robert Dewar
1996-07-12 0:00 ` Jon S Anthony
1996-07-21 0:00 ` Robert A Duff
1996-07-11 0:00 ` Jon S Anthony
1996-07-11 0:00 ` Robert A Duff
1996-07-12 0:00 ` Robert Dewar
1996-07-14 0:00 ` Norman H. Cohen
1996-07-15 0:00 ` Robert Dewar
1996-07-15 0:00 ` Jon S Anthony
1996-07-15 0:00 ` Robert Dewar
1996-07-16 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox