diff -r 31b81f20fd9a -r fbff6f601370 main_testing3/re_test4.scala --- a/main_testing3/re_test4.scala Thu Nov 02 13:53:37 2023 +0000 +++ b/main_testing3/re_test4.scala Thu Nov 02 23:34:53 2023 +0000 @@ -1,5 +1,10 @@ -import M3._ + +def urbanmain() = { + + import M3._ -assert(denest(List(ONE, ZERO, ALTs(List(ONE, CHAR('a'))))) - == List(ONE, ONE, CHAR('a'))) -assert(denest(List(ONE ~ ONE, ZERO, ZERO | ONE)) == List(ONE ~ ONE, ZERO, ONE)) + assert(denest(List(ONE, ZERO, ALTs(List(ONE, CHAR('a'))))) == List(ONE, ONE, CHAR('a'))) + assert(denest(List(ONE ~ ONE, ZERO, ZERO | ONE)) == List(ONE ~ ONE, ZERO, ONE)) + + +}