% $Id: AppendNELTest.oz,v 1.1 2008/09/29 15:48:55 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'AppendNELInClass.oz' {StartTesting 'AppendNEL'} {Test {AppendNEL sing(3) sing(4)} '==' cons(3 sing(4))} {Test {AppendNEL cons(5 sing(3)) sing(4)} '==' cons(5 cons(3 sing(4)))} {Test {AppendNEL cons(7 cons(5 sing(3))) cons(8 sing(1))} '==' cons(7 cons(5 cons(3 cons(8 sing(1)))))} {Test {AppendNEL cons(5 sing(3)) cons(8 sing(1))} '==' cons(5 cons(3 cons(8 sing(1))))}