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=0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Received: by 2002:a05:620a:205e:: with SMTP id d30mr53759097qka.450.1594132886771;
        Tue, 07 Jul 2020 07:41:26 -0700 (PDT)
X-Received: by 2002:a05:6808:918:: with SMTP id w24mr1366975oih.30.1594132886527;
 Tue, 07 Jul 2020 07:41:26 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 7 Jul 2020 07:41:26 -0700 (PDT)
In-Reply-To: <rdmsku$qc8$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=146.5.2.231; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 146.5.2.231
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f3a842a9-540f-4638-92ec-199b6d0b464fo@googlegroups.com>
Subject: Re: gnoga build fails on Mac
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Tue, 07 Jul 2020 14:41:26 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:59383
List-Id: <comp.lang.ada>

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