From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: How to exit an Ada program with (unix shell) error code?
Date: Tue, 05 May 2009 17:34:19 +0200
Date: 2009-05-05T17:34:19+02:00 [thread overview]
Message-ID: <2amptg.bg7.ln@hunter.axlog.fr> (raw)
In-Reply-To: <62b174a9-c9c5-479c-9dd6-71916c102eb0@z16g2000prd.googlegroups.com>
Adam Beneschan a �crit :
> Right; and even if your Ada compiler *does* support functions that
> return integers as main programs, and you're compiling for some
> operating system with an "x" in its name (or Solaris), this does *not*
> mean that the Ada compiler will treat the function result as the
> status code. The compiler could decide that the function result is
> something to be formatted and spit out onto standard output. If an
> Ada implementation supports parameters and/or function results on main
> programs, the language leaves it up to the implementation how those
> are interpreted. There's no rule that says that the interpretation
> has to mimic the behavior of the C language (thank God). So anon's
> solution may work on GNAT, but it can't be assumed to work anywhere
> else.
>
That's right from a legalistic point of view, but don't forget that
compiler writers are not masochists. If an implementation supports
functions returning integers as main programs, I would be very surprised
if it was not interpreted as the return code, since this is what the
consumer would expect...
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2009-05-05 15:34 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-04 9:08 How to exit an Ada program with (unix shell) error code? reinkor
2009-05-04 9:17 ` Samuel Tardieu
2009-05-04 9:26 ` reinkor
2009-05-04 9:31 ` Ludovic Brenta
2009-05-04 9:47 ` reinkor
2009-05-04 9:54 ` Martin
2009-05-04 11:38 ` sjw
2009-05-04 10:07 ` stefan-lucks
2009-05-04 13:42 ` Robert A Duff
2009-05-04 16:19 ` Martin
2009-05-07 9:48 ` anon
2009-05-04 16:09 ` anon
2009-05-05 10:49 ` Rob Norris
2009-05-05 11:15 ` Georg Bauhaus
2009-05-05 11:43 ` Martin
2009-05-05 14:57 ` Adam Beneschan
2009-05-05 15:34 ` Jean-Pierre Rosen [this message]
2009-05-06 15:28 ` Adam Beneschan
2009-05-06 22:10 ` Randy Brukardt
2009-05-07 9:08 ` anon
2009-05-07 10:01 ` Georg Bauhaus
2009-05-07 11:22 ` anon
2009-05-07 12:08 ` Martin
2009-05-07 13:34 ` Georg Bauhaus
2009-05-07 16:26 ` Adam Beneschan
2009-05-08 10:17 ` anon
2009-05-12 22:55 ` Adam Beneschan
2009-05-14 2:55 ` anon
2009-05-14 8:04 ` Martin
2009-05-14 8:39 ` Martin
2009-05-14 8:45 ` Martin
2009-05-14 9:34 ` Ludovic Brenta
2009-05-14 10:05 ` Martin
2009-05-14 12:38 ` Georg Bauhaus
2009-05-14 15:34 ` Adam Beneschan
2009-05-15 10:20 ` anon
2009-05-15 11:19 ` Martin
2009-05-05 20:48 ` anon
2009-05-05 21:01 ` Adam Beneschan
2009-05-06 11:30 ` Hibou57 (Yannick Duchêne)
2009-05-05 20:31 ` anon
2009-05-05 21:27 ` Martin
2009-05-06 8:41 ` anon
2009-05-06 9:14 ` Martin
2009-05-06 11:41 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox