On 6/26/07, Ralf Hemmecke wrote:
... Suppose you want a constructor likeM(T: Tuple Cat): MCat(T) == add {...} for some given category Cat (For simplicity, lets say define Cat: Category == with {=:(%,%)->Boolean} . The question now is how do I define MCat and the corresponding add {...} in such a way that I am able to generate an element of M in a simple form. ...
I tried to see how far I could get with this problem in Aldor. The result is shown at: http://wiki.axiom-developer.org/SandBoxAldorTuples The code compiles and is apparently type correct but it does not exactly produce the expected output. This code seems to work best compiled to Lisp and iinked into Axiom. When I try the same thing with the Aldor stand alone compiler I get some peculiar and unexpected error messages. Perhaps this is pushing the limits of what the compiler can do but I seems to be almost there... Perhaps a bug report is in order? Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
