You two are geniuses. @Christian: I partially agree about > To me, getting the value without the corresponding type is not in the spirit > of a fully typed language. Therefore, I suggest to drop your get method > alltogether, and give a get method returning a pair of value and its type. > However, for some cases it might make sense to have the type of a slot in a > MyTuple without its value. So for convenience it might prove valuable to have > a "getType" function.
In fact, I first only wanted to know "how to do it in Aldor". But I can imagine that it will come handy at some point. At least, maybe now I understand Aldor a little better. Many many thanks! And, even more importantly: many many thanks that you two took a whole day discussing multisort! I'm afraid, I didn't contribute much, but I believe that the two of you made the day very productive! All the best, 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
