From: Martin <martin.dowie@btopenworld.com>
Subject: Re: Discriminated records are not the most efficient, but ...
Date: Mon, 23 Aug 2010 06:32:52 -0700 (PDT)
Date: 2010-08-23T06:32:52-07:00 [thread overview]
Message-ID: <b044e640-dfd0-4225-9032-f118ffa22eab@q1g2000yqg.googlegroups.com> (raw)
In-Reply-To: 4c7274ae$0$6770$9b4e6d93@newsspool3.arcor-online.net
On 23 Aug, 14:16, Georg Bauhaus <rm.dash-bauh...@futureapps.de> wrote:
> On 23.08.10 13:44, Martin wrote:
>
> > On 23 Aug, 08:33, Simon Wright <si...@pushface.org> wrote:
> >> Niklas Holsti <niklas.hol...@tidorum.invalid> writes:
> >>> Subprograms can be compiled on their own, without being enclosed in a
> >>> package.
>
> >> And a main subprogram is usually a compilation unit, ie not in a package
> >> (though I can't see anything that actually requires that,http://www.adaic.com/standards/05rm/html/RM-10-2.html(7)).
>
> > Used to be required in Ada83 (seehttp://archive.adaic.com/standards/83lrm/html/lrm-10-01.html#10.1
> > - just before 'Notes') but Ada95 relaxed the rules.
>
> package Empty is
> pragma Elaborate_Body (Empty);
> end Empty;
>
> with Ada.Text_IO;
> package body Empty is
> begin
> Ada.Text_IO.Put_Line ("Psst!");
> end Empty;
>
> $ gnatchop empty.ada && gnatmake -z empty
>
> -- Georg
Yup, note Ada83 allowed implementations to support this too - it just
defined a 'minimum' level of support for a main subprograms as a
library-level parameterless procedure (NB: not function!).
-- Martin
next prev parent reply other threads:[~2010-08-23 13:32 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-21 21:18 Discriminated records are not the most efficient, but Yannick Duchêne (Hibou57)
2010-08-21 21:57 ` Yannick Duchêne (Hibou57)
2010-08-22 5:39 ` Yannick Duchêne (Hibou57)
2010-08-22 20:40 ` Yannick Duchêne (Hibou57)
2010-08-22 20:47 ` Florian Weimer
2010-08-22 22:07 ` Yannick Duchêne (Hibou57)
2010-08-22 22:11 ` Yannick Duchêne (Hibou57)
2010-08-23 3:06 ` Peter C. Chapin
2010-08-23 3:50 ` Yannick Duchêne (Hibou57)
2010-08-23 6:25 ` J-P. Rosen
2010-08-23 8:09 ` Yannick Duchêne (Hibou57)
2010-08-23 6:40 ` Niklas Holsti
2010-08-23 7:33 ` Simon Wright
2010-08-23 11:44 ` Martin
2010-08-23 13:16 ` Georg Bauhaus
2010-08-23 13:32 ` Martin [this message]
2010-08-23 17:02 ` Yannick Duchêne (Hibou57)
2010-08-23 8:13 ` Yannick Duchêne (Hibou57)
2010-08-23 1:52 ` Yannick Duchêne (Hibou57)
2010-08-23 5:14 ` Yannick Duchêne (Hibou57)
2010-08-23 5:43 ` Florian Weimer
2010-08-23 7:55 ` Yannick Duchêne (Hibou57)
2010-08-23 8:06 ` Dmitry A. Kazakov
2010-08-23 8:26 ` Yannick Duchêne (Hibou57)
2010-08-23 8:43 ` Dmitry A. Kazakov
2010-09-04 18:49 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox