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,229eda63f0d80a47
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!news.karotte.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Vinzent Hoefler" <nntp-2010-10@t-domaingrabbing.de>
Newsgroups: comp.lang.ada
Subject: Re: Q: Profiles
Date: Fri, 05 Nov 2010 21:14:58 +0100
Message-ID: <op.vlpru8ni0k3wt7@jellix.jlfencey.com>
References: <4cd3e506$0$6992$9b4e6d93@newsspool4.arcor-online.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: 7bit
X-Trace: individual.net znQUcGr+A3e7Bvogkmc1egBrSotRWMB9h2G7suo30cZG7f3Xdj
Cancel-Lock: sha1:brZyhrVMuCWpzA6T2JTF9BPQzG4=
User-Agent: Opera Mail/10.63 (Win32)
Xref: g2news1.google.com comp.lang.ada:15287
Date: 2010-11-05T21:14:58+01:00
List-Id: <comp.lang.ada>

On Fri, 05 Nov 2010 12:05:42 +0100, Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de> wrote:

> The Ravenscar profile (and the Restricted profile in GNAT)
> assume we want our tasks to run forever.  Programs will be
> supported by a lean and efficient run-time.
>
> What if I just want the lean and efficient Ravenscar run-time
> but do want my tasks to terminate?

I'd suggest to use the appropriate list of Restriction pragmas then.

See ARM D13.1(3) f.


Vinzent.

-- 
There is no signature.