comp.lang.ada
 help / color / mirror / Atom feed
From: dbrown@vigra.com (David Brown)
Subject: Re: Do I Really Need A Supervisor?
Date: 1997/03/13
Date: 1997-03-13T00:00:00+00:00	[thread overview]
Message-ID: <os913rbfi0.fsf@ted.vigra.com> (raw)
In-Reply-To: E6yKCs.FEx@world.std.com


bobduff@world.std.com (Robert A Duff) writes:

> I meant exactly what I wrote: An Ada 95 program does not need a main
> procedure (or main function, for that matter).  That is, an Ada 95
> program can consist of a bunch of library packages, without any main
> subprogram.  This is different from Ada 83, which required a main
> subprogram (called a main program in Ada 83, despite the fact that it's
> not a program).
> 
> Note "optionally" and "if specified" in 10.2(7) -- the user is not
> required to have a main subprogram.  Note "if the partition has one" in
> 10.2(21) and "if there is no main subprogram" in 10.2(23).  See also
> 10.2(34), which explains the reason.  See also AARM-10.2(34.e), which
> says that this change is a language extension.

I guess then a GNAT question is in order.  How would you go about
producing a partition with GNAT that doesn't have a main subprogram.
If I just give gnatbind packages without a main subprogram, it
complains that there is no main subprogram.  If I specify -n to
indicate that there is no main subprogram, then it doesn't generate a
function called main.  I could use it this way, but I would have to
write my own main that just called adainit.

I guess I'm wondering how 10.2(23) get's addressed.  I suppose that
requiring the user to write a C routine to call adainit could be
called "implementation defined" :-).

Dave Brown




  reply	other threads:[~1997-03-13  0:00 UTC|newest]

Thread overview: 59+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-12  0:00 Do I Really Need A Supervisor? Auntie Alias
1997-03-13  0:00 ` Michael F Brenner
1997-03-13  0:00 ` David Wheeler
1997-03-13  0:00 ` Jay Martin
1997-03-13  0:00   ` Randall Edick
1997-03-14  0:00     ` David Taylor
1997-03-15  0:00       ` Richard Kenner
1997-03-17  0:00         ` Randall Edick
1997-03-17  0:00           ` Robert Dewar
1997-03-18  0:00             ` Randall Edick
1997-03-18  0:00               ` Robert Dewar
1997-03-19  0:00                 ` Michael F Brenner
1997-03-19  0:00                   ` Robert Dewar
1997-03-21  0:00                 ` Richard A. O'Keefe
1997-03-22  0:00                   ` Robert Dewar
1997-03-24  0:00                     ` the one and only real true kibo
1997-03-21  0:00             ` John G. Volan
1997-03-21  0:00             ` John G. Volan
1997-03-21  0:00             ` John G. Volan
1997-03-22  0:00               ` Robert Dewar
1997-03-21  0:00             ` John G. Volan
1997-03-14  0:00   ` John Apa
1997-03-17  0:00   ` Graham C. Hughes
1997-03-19  0:00     ` Robert Dewar
     [not found]   ` <01bc3276$57fc1800$0902a8c0@alice>
1997-03-18  0:00     ` Robert Dewar
1997-03-18  0:00       ` Jay Martin
1997-03-18  0:00         ` Robert Dewar
1997-03-20  0:00   ` Corey Minyard
1997-03-24  0:00   ` Jon S Anthony
1997-03-25  0:00     ` L. Darrell Ray
1997-03-27  0:00       ` Robert Dewar
1997-03-27  0:00         ` Michael Malak
1997-03-27  0:00         ` Larry Kilgallen
1997-03-27  0:00       ` duncan
1997-04-10  0:00         ` BAT0000000
1997-03-28  0:00     ` Laurent Guerby
1997-03-13  0:00 ` Jay Martin
1997-03-13  0:00 ` Mats Weber
1997-03-14  0:00   ` Jon S Anthony
1997-03-13  0:00 ` Robert A Duff
1997-03-13  0:00   ` David Brown [this message]
1997-03-13  0:00     ` Robert Dewar
1997-03-14  0:00       ` Robert A Duff
1997-03-15  0:00         ` Robert Dewar
1997-03-17  0:00           ` Norman H. Cohen
1997-03-17  0:00             ` antialias
1997-03-18  0:00               ` nasser
1997-03-20  0:00                 ` John Apa
1997-03-19  0:00               ` John Apa
1997-03-19  0:00                 ` antialias
     [not found]               ` <33301E64.110E@delphi.dasd.honeywe <3330BE71.695@earthlink.net>
1997-03-20  0:00                 ` jim hopper
1997-03-20  0:00                   ` Michael F Brenner
1997-03-13  0:00   ` Samuel Tardieu
1997-03-13  0:00     ` Robert Dewar
1997-03-13  0:00     ` Robert A Duff
1997-03-14  0:00   ` Laurent Guerby
1997-03-14  0:00     ` Robert Dewar
1997-03-14  0:00 ` Adam Beneschan
1997-03-21  0:00 ` antialias
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox