axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] RE: More AxiomUI


From: Martin Rubey
Subject: Re: [Axiom-developer] RE: More AxiomUI
Date: Wed, 22 Jun 2005 14:09:34 +0200

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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]