From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: Doctor Who Newsgroups: comp.lang.ada Subject: The Ravenscar profile and capabilities paradigm Date: Mon, 11 Oct 2021 15:33:52 +0200 Organization: A noiseless patient Spider Message-ID: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Injection-Info: reader02.eternal-september.org; posting-host="cc2066bc9ea4b05f7d4771b00252d06c"; logging-data="13390"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+EH2Ic3BXpFaRE6D4Fc6aD" User-Agent: ForteAgent/8.00.32.1272 Cancel-Lock: sha1:kbptSlF1FlCDjRXAmNw//Uc8v6A= Xref: reader02.eternal-september.org comp.lang.ada:62953 List-Id: Hello, someone knows how to introduce the capabilities paradigm in Ada, specifically for programs written using the Ravenscar profile ?