main_marking3/re_test0.scala
changeset 494 253d1ccb65de
parent 426 b51467741af2
equal deleted inserted replaced
493:244df77507c2 494:253d1ccb65de
     1 import M3._
       
     2 
     1 
     3 assert(ALTs.getClass == ALTs.getClass)
     2 def urbanmain() = {
     4 assert(SEQs.getClass == SEQs.getClass)
     3   import M3._
     5 
     4 
       
     5   assert(ALTs.getClass == ALTs.getClass)
       
     6   assert(SEQs.getClass == SEQs.getClass)
       
     7 }
     6 
     8