Ralf Hemmecke <[EMAIL PROTECTED]> writes: | > If the scope of 'x' is intended to be global, then the type of 'x' | > must be a Union. | > x:Union(Integer,Float) | > if cond then | > x := 1 | > else | > x := 2.3 | | Of course that cannot work. What function pointer for multiplication | should the compiler put in for the following | | x := x*x | | ? Union does not export a multiplication.
True, and given that why x := x * x would have to be valid at all? -- Gaby ------------------------------------------------------------------------- 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
