From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ad47c3851d906864
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.230.98 with SMTP id sx2mr9430900pbc.1.1335707748092;
        Sun, 29 Apr 2012 06:55:48 -0700 (PDT)
Path: 
 r9ni112199pbh.0!nntp.google.com!news1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada on Nintendo DS ?
Date: Sun, 29 Apr 2012 09:55:47 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccaa1uhcbg.fsf@shell01.TheWorld.com>
References: <slrnjplqtk.1lme.lithiumcat@sigil.instinctive.eu>
 <82zk9wcohf.fsf@stephe-leake.org>
 <slrnjpnsuv.1lme.lithiumcat@sigil.instinctive.eu>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1335707747 807 192.74.137.71 (29 Apr 2012 13:55:47 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sun, 29 Apr 2012 13:55:47 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:rhMt2xWoXGLURwXzQpEcwzy4Yuk=
Content-Type: text/plain; charset=us-ascii
Date: 2012-04-29T09:55:47-04:00
List-Id: <comp.lang.ada>

Natasha Kerensikova <lithiumcat@gmail.com> writes:

> Is there some "official" list of what does not have to be supported on
> an RTL-less system? The C Standard has the notion of "freestanding" and
> "hosted" environments, which basically means without or with libc (which
> is quite weaker than POSIX); is there something similar in Ada RM?

No.  Some of the annexes are optional, but that's not really
analogous to C's "freestanding".  An "Ada" without any
run-time libraries is almost certainly not Ada -- it might
be a subset of Ada.

>...Or is
> it up to the compiler provider to decide what belong to RTL and what is
> code generated on bare metal?

Yes.  The same is true of C, by the way, and I suppose any
other high-level language.  Language definitions are in the
business of telling compiler writers what to do, not how to
get it done.

Note that the line is kind of fuzzy in the case of GNAT, because
some features are implemented as RTL calls, but those calls
can sometimes be inlined.

- Bob