3 assert(denest(List(ONE, ZERO, ALTs(List(ONE, CHAR('a'))))) 

     2 def urbanmain() = {

     4    == List(ONE, ONE, CHAR('a')))

     3 

     5 assert(denest(List(ONE ~ ONE, ZERO, ZERO | ONE)) == List(ONE ~ ONE, ZERO, ONE))

     4   import M3._

     5 

     6   assert(denest(List(ONE, ZERO, ALTs(List(ONE, CHAR('a'))))) == List(ONE, ONE, CHAR('a')))

     7   assert(denest(List(ONE ~ ONE, ZERO, ZERO | ONE)) == List(ONE ~ ONE, ZERO, ONE))

     8 }