3 assert(SEQs_smart(Nil) == ONE)

     2 def urbanmain() = {

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

     3   import M3._

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

     4 

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

     5   assert(SEQs_smart(Nil) == ONE)

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

     6   assert(SEQs_smart(List(ZERO)) == ZERO)

     8 assert(ALTs_smart(Nil) == ZERO)

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

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

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

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

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

    10   assert(ALTs_smart(Nil) == ZERO)

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

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

    13 }