From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: gnoga build fails on Mac
Date: Tue, 7 Jul 2020 17:37:36 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <re24s1$hil$1@dont-email.me>
References: <4bbbd09e-e14f-46f5-a510-bdf0c17eba8fo@googlegroups.com>
 <rcn6gi$1nbc$1@gioia.aioe.org>
 <e6de3501-3174-4553-b220-9b3e75170885o@googlegroups.com>
 <rcnn9d$128n$1@gioia.aioe.org>
 <57adcbd8-4583-4c0f-8bdf-1ac8bd6c6913o@googlegroups.com>
 <rcph60$18er$1@gioia.aioe.org> <rcq55l$r03$1@dont-email.me>
 <rdbe6r$tgl$1@franka.jacob-sparre.dk> <rdc8p2$u5v$1@dont-email.me>
 <rdgnog$ej7$1@franka.jacob-sparre.dk> <rdhirj$h5f$1@dont-email.me>
 <rdltqb$v59$1@franka.jacob-sparre.dk> <rdmsku$qc8$1@dont-email.me>
 <f3a842a9-540f-4638-92ec-199b6d0b464fo@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 7 Jul 2020 15:37:37 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="2266daa14cf98da5656aff2c46452c38";
	logging-data="18005"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+Bsk9OjPnNSJmbTwN6b0LYv062F/oyygU="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.8.0
Cancel-Lock: sha1:X3/Vu/nylX+WFRaANrh3H3CP/38=
In-Reply-To: <f3a842a9-540f-4638-92ec-199b6d0b464fo@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:59384
List-Id: <comp.lang.ada>

On 7/7/20 4:41 PM, Shark8 wrote:
> On Friday, July 3, 2020 at 3:09:51 AM UTC-6, Jeffrey R. Carter wrote:
>>
>> I have been thinking recently about what it would be like to have something like
>> package types, to extend the package-as-object concept to things that can be
>> declared and passed. My simplifications would be to eliminate type extension and
>> accessibility checking and similar nonsense.
> 
> IIUC, there was a similar idea floated around by Intel for/after the iAPX 432.
> http://www.textfiles.com/bitsavers/pdf/intel/iAPX_432/172283-001_Reference_Manual_for_the_Intel_432_Extensions_to_Ada_Dec81.pdf

Interesting. Not what I have in mind, though.

-- 
Jeff Carter
"Alms for an ex-leper!"
Monty Python's Life of Brian
75