% $Id: NaturalsTest.oz,v 1.1 2007/10/22 05:23:37 leavens Exp leavens $
\insert 'TestingNoStop.oz'
\insert 'Naturals.oz'

{StartTesting 'Naturals'}
{Test {ToInteger succ(succ(succ(zero)))} '==' 3}
{Test {ToInteger {FromInteger 55}} '==' 55}
{Test {Plus {FromInteger 2} {FromInteger 3}} '==' {FromInteger 5}}
{Test {Plus {FromInteger 10} {FromInteger 7}} '==' {FromInteger 17}}
{Test {Plus {FromInteger 0} {FromInteger 7}} '==' {FromInteger 7}}