main_marking3/re_test0.scala
changeset 491 2a30c7dfe3ed
parent 423 554278cd4b70
equal deleted inserted replaced
490:f70d74fea67f 491:2a30c7dfe3ed
     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