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.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a37:bd05:: with SMTP id n5mr24626491qkf.293.1640967212099;
        Fri, 31 Dec 2021 08:13:32 -0800 (PST)
X-Received: by 2002:a25:9003:: with SMTP id s3mr26703585ybl.323.1640967211948;
 Fri, 31 Dec 2021 08:13:31 -0800 (PST)
Path: eternal-september.org!reader02.eternal-september.org!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 31 Dec 2021 08:13:31 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2804:14c:4c1:8775:352d:ffd4:3db5:6282;
 posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ
NNTP-Posting-Host: 2804:14c:4c1:8775:352d:ffd4:3db5:6282
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3b7ba153-ebf1-4b85-a1b2-3ad5aaeca11en@googlegroups.com>
Subject: Ada Pure or Preelaborate or ? in Adare_net
From: Daniel Norte Moraes <danielcheagle@gmail.com>
Injection-Date: Fri, 31 Dec 2021 16:13:32 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:63316
List-Id: <comp.lang.ada>

Hi! 

I and a friend created an Ada network lib where,
from the begining, we tried very hard to make It a Ada Pure.

>From the examples dir, the lib worked as expected (in gcc-10.2 gcc-11.2 and gcc-12).
To our surprise, what most caught the attention of the group's friends was the fact that the lib was Ada Pure and if that was correct.

For this reason, if really 'is' pure, not pure, preelaborate or what (?), pleeeeeeaaase, we ask the group's Ada Language Lawyers to help analyze and suggest modifications  if necessary. 

link: https://gitlab.com/daresoft/network/adare_net/-/tree/202x
for Ada version use 2012 and or 202x.

Best Wishes and Happy New Year,
Dani.