% $Id: DeleteFirstTest.oz,v 1.1 2007/10/22 07:09:51 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'DeleteFirst.oz' {StartTesting 'DeleteFirst'} {Test {DeleteFirst z nil} '==' nil} {Test {DeleteFirst b nil} '==' nil} {Test {DeleteFirst b a|b|c|nil} '==' a|c|nil} {Test {DeleteFirst b b|a|b|c|nil} '==' a|b|c|nil} {Test {DeleteFirst b a|b|a|b|c|nil} '==' a|a|b|c|nil} {Test {DeleteFirst a a|b|a|b|c|nil} '==' b|a|b|c|nil}