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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Tue, 10 Jul 2018 15:19:11 +0100
Organization: A noiseless patient Spider
Message-ID: <ly7em3fa1s.fsf@pushface.org>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
	<878t9nemrl.fsf@nightsong.com>
	<a87b8599-5df5-49a7-baef-6a4f43410f6a@googlegroups.com>
	<51e6f75e-6c39-49c5-949e-bf92a9dbf96a@googlegroups.com>
	<pb2op0$vh8$1@dont-email.me>
	<f1fb66fa-10e3-4115-a5f3-94366d3be332@googlegroups.com>
	<3c4cd2b3-6b1f-41b4-a889-269689239612@googlegroups.com>
	<87fu0rlmew.fsf@adaheads.home>
	<56f5fa2f-7790-4208-bd13-ddb08fc09a1a@googlegroups.com>
	<pi2c7i$c9t$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: reader02.eternal-september.org;
 posting-host="79ff2029127071b16076e07ea903a4b5";
	logging-data="28925"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19ozVt2XtDmSQyqav4cOpgNgxjdEobBci0="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (darwin)
Cancel-Lock: sha1:yYA/20997UEquiOpFIBcNBBtH8Y=
	sha1:uVff/TjcjO5ip7SD/+YVC+ZSvdk=
Xref: reader02.eternal-september.org comp.lang.ada:53755
Date: 2018-07-10T15:19:11+01:00
List-Id: <comp.lang.ada>

Björn Lundin <b.f.lundin@gmail.com> writes:

> A full run-time.
> downloading Gnat GPL 2018 64-bit windows was a disappointment
>
> from system.ads
>
>> pragma Restrictions (No_Exception_Propagation);
>> --  Only local exception handling is supported in this profile
>>
>> pragma Restrictions (No_Exception_Registration);
>> --  Disable exception name registration. This capability is not used
>> because
>> --  it is only required by exception stream attributes which are not
>> supported
>> --  in this run time.
>>
>> pragma Restrictions (No_Implicit_Dynamic_Code);
>> --  Pointers to nested subprograms are not allowed in this run time,
>> in order
>> --  to prevent the compiler from building "trampolines".
>>
>> pragma Restrictions (No_Finalization);
>> --  Controlled types are not supported in this run time
>>
>> pragma Restrictions (No_Tasking);
>> --  Tasking is not supported in this run time
>>
>> pragma Discard_Names;
>> --  Disable explicitly the generation of names associated with
>> entities in
>> --  order to reduce the amount of storage used. These names are not
>> used anyway
>> --  (attributes such as 'Image and 'Value are not supported in this
>> run time).
>
>
> No tasking and only local exception is not enough for me.
> I have not contemplated what the other restrictions really means for me

Those restrictions are what you'd find in a zero-footprint bare machine
package. Are you quite sure about what you downloaded?