Martin Rubey <[EMAIL PROTECTED]> writes:
[...] | Who is able to predict the result of | | foo1 [1,2,0,3] | foo2 [1,2,0,3] | foo3 [1,2,0,3] | | after compiling TEST below? | | Martin | | )abb package TEST Test | Test: with | foo1: List Integer -> Integer | foo2: List Integer -> Integer | foo3: List Integer -> Integer | | == add | | foo1 l == | tst := true | for e in l repeat | output(e::OutputForm)$OutputPackage | e = 0 => tst := false | | tst => -1 | e | | foo2 l == | tst := true | for e in l repeat | e = 0 => tst := false | output(e::OutputForm)$OutputPackage | | tst => -1 | e | | foo3 l == | tst := true | for e in l repeat | e = 0 => tst := false | | tst => -1 | e Rejected by OpenAxiom-1.2.0 (mainline). ------------------------------------------------------------------------- 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
