axiom *(A: Set INT, Type: Void
axiom 2*3 axiom Compiling function * with type (Set(Integer), This problem is not related to axiom mulset(A: Set INT, Type: Void
axiom mulset(2, axiom Compiling function mulset with type (Set(Integer), It works if conversion from axiom set [2] * set [3]
Type: Set(Integer)
overloading an operation in the interpreter is a problem --kratt6, Mon, 29 Oct 2007 08:53:07 -0600 reply Why doesn't axiom find *: (INT, INT) -> INT anymore?
that is a problem. :-)
But you have overridden the default behaviour in the interpreter. It is ok if you are explicit: axiom (2*3)$Integer
Type: Integer
So I think probably the current behavior is sensible. Name:#387 redefining * => #387 overloading functions in the interpreter does not work
|