> | > | With "==" however, these lines in "main" are (according to the AUG) > | > | equivalent to > | > | | x(a: Integer): Boolean == foo1()(a); > | > | x(a: Integer): Integer == foo2()(a); > | > | | I think, you agree that this should be allowed. > | > As it current is in all AXIOMs. These issues are orthogonal, I > | > think. > | > | What is orthogonal? That one forbids > | > | x: A := foo1() > | x: B := foo2() > | > | but allows > | > | x: A == foo1() > | x: B == foo2() > > No.
So what then? > | if A is X->Y and B is U->V with (X,Y) not identical to (U,V)? > | > | The problem is that the latter does not work properly in Axiom. > | > | (1) -> foo1()(x:Integer):Integer == x > | Type: Void > | (2) -> x: Integer -> Integer == foo1() > | Type: Void > | (3) -> foo2()(x:Boolean):Boolean == x > | Type: Void > | (4) -> x: Boolean -> Boolean == foo2() > | Type: Void > | (5) -> x(true) > | There are no library operations named x > | Use HyperDoc Browse or issue > | )what op x > | to learn if there is any operation containing " x " in its name. > | > | Cannot find a definition or applicable library operation named x > | with argument type(s) > | Boolean > | > | Perhaps you should use "@" to indicate the required return type, > | or "$" to specify which version of the function you need. > | > | It looks like a bug, but I cannot exactly say why, because the meaning > | of "==" in Axiom is not the same as in Aldor (I believe). > > You have to decide whether you're talking about the compiler or the > interpreter. So far, I thought we have been talking about the > compiler. In the interpreter, '==' has a whole different meaning -- > from both the compiler and Aldor. Sorry. I must be quiet again. I don't know panAxiom (compiler or interpreter). And it would somehow be more helpful if you could explain the differences. Ralf ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
