% $Id: ReverseTest.oz,v 1.1 2007/11/28 19:10:48 leavens Exp leavens $ \insert 'SolveAll.oz' {Test {SolveAll proc {$ V} V=ok {Reverse nil [1]} end} '==' nil} {Test {SolveAll proc {$ V} {Reverse nil V} end} '==' [nil]} {Test {SolveAll proc {$ V} {Reverse [1 2 3 4] V} end} '==' [[4 3 2 1]]} {Test {SolveAll proc {$ V} {Reverse [2 3 4] V} end} '==' [[4 3 2]]}