A new (experimental) version of multisort species. Open to discussion. I tried an approach somewhat inspired by the Object example in the AUG. I also checked whether I can use this approach for Plus, Times and Composition, and found that it will work without any trouble. (For Composition, we would need to introduce another "Object" type, of the form Record(S: MSPECIES M, m: S).)
I cannot remember, unfortunately, what we said about this approach during our meeting end of April. Shame on me. Martin ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
