3 assert(SEQs_smart(Nil) == ONE)

     2 def urbanmain() = {

     4 assert(SEQs_smart(List(ZERO)) == ZERO)

     3 

     5 assert(SEQs_smart(List(CHAR('a'))) == CHAR('a'))

     4   import M3._

     6 assert(SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE)

     5 

     7 assert(SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE)))

     6   assert(SEQs_smart(Nil) == ONE)

     8 assert(ALTs_smart(Nil) == ZERO)

     7   assert(SEQs_smart(List(ZERO)) == ZERO)

     9 assert(ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE)

     8   assert(SEQs_smart(List(CHAR('a'))) == CHAR('a'))

    10 assert(ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO)))

     9   assert(SEQs_smart(List(ONE ~ ONE)) == ONE ~ ONE)

    10   assert(SEQs_smart(List(ONE, ONE)) == SEQs(List(ONE, ONE)))

    11   assert(ALTs_smart(Nil) == ZERO)

    12   assert(ALTs_smart(List(ONE ~ ONE)) == ONE ~ ONE)

    13   assert(ALTs_smart(List(ZERO, ZERO)) == ALTs(List(ZERO, ZERO)))

    14 }