% $Id: FoldRExamplesTest.oz,v 1.1 2007/10/22 06:51:06 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'FoldRExamples.oz' {StartTesting 'FoldRExamples'} {Test {FoldR [1 2 3 4] fun {$ E Rest} E*3|Rest end nil} '==' [3 6 9 12]} {Test {Sum [1 2 3]} '==' 6} {Test {Product [1 2 3 4]} '==' 24} {Test {Concat [[1] nil [2 3] [4 5 6] nil]} '==' [1 2 3 4 5 6]}