comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Do I Really Need A Supervisor?
Date: 1997/03/13
Date: 1997-03-13T00:00:00+00:00	[thread overview]
Message-ID: <dewar.858263445@merv> (raw)
In-Reply-To: qw6sp203wko.fsf@esmeralda.enst.fr


Sam said

<<What do you mean? He didn't write "a 'main' procedure", but "a main
procedure" which is quite different.>>

Bob meant what he said, in Ada 83, a main subprogram (not necessarily
called main, of course) is required, but this requirement is eliminated
in Ada 95. 

Seems a silly change to me, but it is a harmless enough one.

GNAT supports this, but only with some fiddling (you need a dummy C main
program with a call to adafinal and adainit, and then you bind with
-gnatn, saying there is no main program).

The idea is that you can do all your processing in elaboration code, a 
perfectly horrible way of structuring a program (which is why I think
this is a silly change), but one that makes perfectly good technical 
sense.

Note: I find that many Ada programmers get carried away with elaboration
code. They think "hey! isn't this neat, I can do everything at elaboration
time", and as usual when people get the "hey! isn't this neat" thought, they
are in fact creating obscure junk :-)

There is even one Ada compiler with a null main program where each pass is
a package that does its work in package elaboration code, and pragma
Elaborate is used to make sure that the passes are executed (i.e. elaborated
at package elaboration time) in the right order -- hey! isn't that neat? :-)





  parent 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 ` Jay Martin
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-22  0:00               ` Robert Dewar
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-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         ` Larry Kilgallen
1997-03-27  0:00         ` Michael Malak
1997-03-27  0:00       ` duncan
1997-04-10  0:00         ` BAT0000000
1997-03-28  0:00     ` Laurent Guerby
1997-03-13  0:00 ` David Wheeler
1997-03-13  0:00 ` Michael F Brenner
1997-03-13  0:00 ` Robert A Duff
1997-03-13  0:00   ` Samuel Tardieu
1997-03-13  0:00     ` Robert A Duff
1997-03-13  0:00     ` Robert Dewar [this message]
1997-03-13  0:00   ` David Brown
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-14  0:00   ` Laurent Guerby
1997-03-14  0:00     ` Robert Dewar
1997-03-13  0:00 ` Mats Weber
1997-03-14  0:00   ` Jon S Anthony
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