> In order to type check that piece of code you need compile time > evaluation of foo. That is the reason why Aldor requires parameters of > types to be constant in the given context.
In Axiom there would be no problem doing compile-time evaluation provided the appropriate algebra is loaded. Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
