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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d89e2d213646aec8
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!fr.ip.ndsoftware.net!proxad.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail
From: Marius Amado Alves <amado.alves@netcabo.pt>
Newsgroups: comp.lang.ada
Subject: Re: Mneson announcement and help request
Date: Wed, 02 Jun 2004 14:14:09 +0100
Organization: Cuivre, Argent, Or
Message-ID: <mailman.35.1086182063.391.comp.lang.ada@ada-france.org>
References: <mailman.28.1086105372.391.comp.lang.ada@ada-france.org>
	<oVavc.34141$js4.3916@attbi_s51>
	<mailman.30.1086145552.391.comp.lang.ada@ada-france.org>
	<c9kd3v$i1n$1@a1-hrz.uni-duisburg.de>
	<c9kedd$i1n$2@a1-hrz.uni-duisburg.de>
NNTP-Posting-Host: lovelace.ada-france.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: melchior.cuivre.fr.eu.org 1086182064 6644 212.85.156.195 (2 Jun 2004
 13:14:24 GMT)
X-Complaints-To: usenet@melchior.cuivre.fr.eu.org
NNTP-Posting-Date: Wed, 2 Jun 2004 13:14:24 +0000 (UTC)
To: comp.lang.ada@ada-france.org
Return-Path: <amado.alves@netcabo.pt>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
	rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
In-Reply-To: <c9kedd$i1n$2@a1-hrz.uni-duisburg.de>
X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at ada-france.org
X-BeenThere: comp.lang.ada@ada-france.org
X-Mailman-Version: 2.1.4
Precedence: list
List-Id: "Gateway to the comp.lang.ada Usenet newsgroup"
	<comp.lang.ada.ada-france.org>
List-Unsubscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=unsubscribe>
List-Post: <mailto:comp.lang.ada@ada-france.org>
List-Help: <mailto:comp.lang.ada-request@ada-france.org?subject=help>
List-Subscribe: <http://www.ada-france.org/mailman/listinfo/comp.lang.ada>,
	<mailto:comp.lang.ada-request@ada-france.org?subject=subscribe>
Xref: controlnews3.google.com comp.lang.ada:1026
Date: 2004-06-02T14:14:09+01:00

>    generic
>       with procedure Process(Pointee: Sets_of_T.Cursor);
>       with function Stop(Pointee: Sets_of_T.Cursor) return Boolean;
>    procedure Traverse (container: Sets_of_T.Set);

Nice.

Incidently, I've found out that local instantiations are (intriguingly) 
slow. I've found this out chasing the slowness problem in Mneson 
20040601, solved in 20040602--in part or in full (not researched) by 
eliminating instantiations. I have not played with inline pragmas nor 
compiler optimization options.

BTW, regarding Mneson development, my priorities are optimizing Base and 
Calculus, and improving documentation. Not refactoring into an 
exceptionless idiom. Unless that shows significant speed gains. Feel 
free to do that, but if you really want to help, mind the overall 
priorities. We could have a fully validated system by 2005, to go with 
the new Ada. BTW, note that some tricks are admitedly temporary, in 
expectation of Ada 2005, notable the use of 'Unrestricted_Access for 
callbacks.

Thanks.