Dear all,
I would also think that it is a bad idea to do the dependency checking outside
of axiom. By the way, axiom does it already:
(1) -> f(x:INT):INT == 5
Function declaration f : Integer -> Integer has been added to
workspace.
Type: Void
(2) -> g(x:INT):INT == f(x)
Function declaration g : Integer -> Integer has been added to
workspace.
Type: Void
(3) -> f(x:INT):INT == 10
Function declaration f : Integer -> Integer has been added to
workspace.
1 old definition(s) deleted for function or rule f
Type: Void
Martin
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
