marking4/re_test1.scala
changeset 288 3cd6c850c252
parent 245 744496a2bade
equal deleted inserted replaced
287:a0c469a58ed4 288:3cd6c850c252
       
     1 import CW9c._
     1 
     2 
     2 assert(nullable(ZERO) == false)
     3 assert(nullable(ZERO) == false)
     3 assert(nullable(ONE) == true)
     4 assert(nullable(ONE) == true)
     4 assert(nullable(CHAR('a')) == false)
     5 assert(nullable(CHAR('a')) == false)
     5 assert(nullable(ZERO | ONE) == true)
     6 assert(nullable(ZERO | ONE) == true)