% $Id: UniqueNamesTest.oz,v 1.2 2008/09/05 20:51:24 leavens Exp $ \insert 'UniqueNames.oz' \insert 'TestingNoStop.oz' %% from the course library {StartTesting 'UniqueNames'} local un(uniquename:UniqueName extendname:ExtendName) = {UniqueNames &e} in {Assert {UniqueName} == 'e0'} {Assert {UniqueName} == 'e1'} local E2 = {UniqueName} in {Test E2 '==' 'e2'} {Test {ExtendName E2} '==' 'e2_3'} {Test {ExtendName E2} '==' 'e2_4'} {Test {UniqueName} '==' 'e5'} {Test {ExtendName {UniqueName}} '==' 'e6_7'} {Test {ExtendName {ExtendName {UniqueName}}} '==' 'e8_9_10'} end end