main_marking3/re_test1.scala
changeset 421 864107857d27
parent 390 720206dcacf7
child 460 f5c0749858fd
equal deleted inserted replaced
420:a6db2b70abdd 421:864107857d27
     1 import CW8c._
     1 import M3._
     2 
     2 
     3 assert(nullable(ZERO) == false)
     3 assert(nullable(ZERO) == false)
     4 assert(nullable(ONE) == true)
     4 assert(nullable(ONE) == true)
     5 assert(nullable(CHAR('a')) == false)
     5 assert(nullable(CHAR('a')) == false)
     6 assert(nullable(ZERO | ONE) == true)
     6 assert(nullable(ZERO | ONE) == true)