Re: Mneson announcement and help request

[Marius Amado Alves <amado.alves@netcabo.pt>]

>    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.