Ralf Hemmecke <[EMAIL PROTECTED]> writes: > So, if you must, make a variable implicitly local to branches of "if" if > it is not used outside the "if". Also that would make the above code > legal. And I think that would be a better way to express the conceptual > level. Of course, that can only work in SPAD. The interpreter has no way > to know whether or not a variable is used later so it should not be > local and have the same type in both branches.
oops, that's an excellent reason, much better than what Stephen Watt said. Martin ------------------------------------------------------------------------- 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
