William, You wrote:
> Maybe if you don't use the same name "source" for two different > things? (also "target"): you used it for a field in edges and > also as an exported function. > I don't think that this is a problem. The compiler is able to easily distinguish the two uses of "source" because of strong typing. In fact in this case they really are the same, i.e. the field is the representation of the function so perhaps the usage is justified. This works in the spad version: http://axiom-developer.org/SandBoxCategoryOfGraphsInSPAD But the equivalent Aldor version of the code (with corrections by Peter Broadbery and Steve Wilson, not with standing any remaining errors on my part), gives a >>System error. See: http://axiom-developer.org/SandBoxCategoryOfGraphs Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
